Alex Shelkovnykov e4ddd6994c Fix JSON parser decoding for ASCII in strings ... The JSON standard rejects all un-escaped, un-printable characters EXCEPT for the delete character (ID 127, i.e. 0x7F). See: https://www.crockford.com/mckeeman.html Via: https://www.json.org/json-en.html		2023-04-11 14:59:15 -06:00
..
vane	Merge pull request #6447 from urbit/jb/drip-hurl	2023-04-11 11:28:20 -04:00
arvo.hoon	arvo: print module compilation times	2023-04-06 23:52:53 -04:00
hoon.hoon	Merge pull request #6373 from urbit/m/dumb-apes	2023-03-15 15:00:30 -04:00
lull.hoon	Merge pull request #6413 from urbit/i/6407/zeal	2023-03-24 18:36:09 +02:00
zuse.hoon	Fix JSON parser decoding for ASCII in strings	2023-04-11 14:59:15 -06:00