mirror of
https://github.com/GnoConsortium/gno.git
synced 2025-03-08 10:33:02 +00:00
- missed some renames of symbols when the namespace pollution problem was addressed. Hopefully this fixes the unresolved symbols. Untested.