Closed daira closed 11 months ago
I switched labels, because improvement
is intended to be content focused (what readers see/care about) and infrastructure
is intended to be anything about editing process, github, automation, CI, rendering, etc… (what authors/collaborators use to make a good artifact).
Minor follow-up in https://github.com/zcash/developers/pull/36, but this is basically done.
Fixed by https://github.com/zcash/developers/pull/35