Skip to content

chore: fix the format of the deprecated comment#15692

Open
reddaisyy wants to merge 1 commit intoOffchainLabs:developfrom
reddaisyy:develop
Open

chore: fix the format of the deprecated comment#15692
reddaisyy wants to merge 1 commit intoOffchainLabs:developfrom
reddaisyy:develop

Commits

Commits on Oct 9, 2025