Skip to content

Revert "Add Thomas Coratger from zkEVM"#442

Merged
tvanepps merged 1 commit intomainfrom
revert-436-add-thomas-coratger
Oct 14, 2025
Merged

Revert "Add Thomas Coratger from zkEVM"#442
tvanepps merged 1 commit intomainfrom
revert-436-add-thomas-coratger

Commits

Commits on Oct 14, 2025