Follow-up from "Draft: Typo train"
The following discussion from !3967 (merged) should be addressed:
-
@rafoo_ started a discussion: (+2 comments) @arvidnl : should we encourage to update
docs/michelson/
in the tezos repository instead?
The following discussion from !3967 (merged) should be addressed:
@arvidnl : should we encourage to update
docs/michelson/
in the tezos repository instead?