debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	More lenient RFC 3339 parsing	Adam Chlipala	2019-12-23
\|
*	Fix toJson for records with optional fields	Adam Chlipala	2019-12-19
\|
*	JSON instance for times, based on RFC 3339 (because Google APIs use it)	Adam Chlipala	2019-10-11
\|
*	JSON records with optional fields	Adam Chlipala	2019-10-11
\|
*	Optimize JSON unescaping for server-side execution	Adam Chlipala	2019-10-05
\|
*	Unicode escapes in JSON	Adam Chlipala	2019-09-25
\|
*	Don't escape slashes for JSON	Adam Chlipala	2019-03-27
\|
*	removed invalid JSON escape character	steinuil	2018-08-04
\|
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \|	1. Handle the escape character \/
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\| \| \| \| \|	1. Handle the escape character \\
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\| \| \| \| \| \| \| \| \| \|	1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.
*	Json: parse records with extra fields	Adam Chlipala	2016-08-27
\|
*	Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵	Adam Chlipala	2016-08-26
	contributions)