Closed 0xaatif closed 2 weeks ago
We use different editors, IDEs and formatters, would be much better (and easier to review) to change only lines that are relevant to the PR
_Originally posted by @atanmarko in https://github.com/0xPolygonZero/zk_evm/pull/728#discussion_r1810974876_
_Originally posted by @atanmarko in https://github.com/0xPolygonZero/zk_evm/pull/728#discussion_r1810974876_