Remove Json module

Open dariusf opened this issue 3 years ago • 2 comments

Fixes #77. Got a conflict when modifying the Json module bundled with TLC locally, so finally got around to doing this.

Nov 18 '22 02:11 dariusf

I'm reluctant to merge this PR because it breaks users still on the latest 1.7.2. TLC release, which does not bundle Json.tla.

Nov 18 '22 04:11 lemmy

Ah. No worries, whenever is appropriate.

Nov 18 '22 05:11 dariusf