Thu, 22 Aug 2019 17:45:44 +0200It _is_ an API change! sync tip
Roker <roker@pep-project.org> [Thu, 22 Aug 2019 17:45:44 +0200] rev 713
It _is_ an API change!

Wed, 07 Aug 2019 16:52:38 +0200merge "JSON-123" into "sync" branch sync
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:52:38 +0200] rev 712
merge "JSON-123" into "sync" branch

Wed, 07 Aug 2019 16:51:57 +0200close branch JSON-123 before merging JSON-123
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:51:57 +0200] rev 711
close branch JSON-123 before merging

Wed, 07 Aug 2019 16:50:13 +0200mime_decode_message() got another OUT<bool> parameter. Okay... JSON-123
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:50:13 +0200] rev 710
mime_decode_message() got another OUT<bool> parameter. Okay...

Wed, 07 Aug 2019 16:49:25 +0200proper casing of filenames. JSON-123
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:49:25 +0200] rev 709
proper casing of filenames.

Wed, 07 Aug 2019 16:29:15 +0200re-sync with "sync" branch. :-) JSON-123
Roker <roker@pep-project.org> [Wed, 07 Aug 2019 16:29:15 +0200] rev 708
re-sync with "sync" branch. :-)

Wed, 07 Aug 2019 16:25:24 +0200proper casing of filenames is important on Linux, not on MacOS. *sigh* sync
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:25:24 +0200] rev 707
proper casing of filenames is important on Linux, not on MacOS. *sigh*

Wed, 07 Aug 2019 16:24:56 +0200update to Unicode version 11.0.0 sync
Lars Rohwedder <roker@pep-project.org> [Wed, 07 Aug 2019 16:24:56 +0200] rev 706
update to Unicode version 11.0.0

Wed, 17 Jul 2019 14:34:04 +0200Update Windows project sync
Thomas [Wed, 17 Jul 2019 14:34:04 +0200] rev 705
Update Windows project

Fri, 31 May 2019 15:35:09 +0200JSON-124 make html_directory configurable via Makefile & macros, instead of echo JSON-123
Roker <roker@pep-project.org> [Fri, 31 May 2019 15:35:09 +0200] rev 704
JSON-124 make html_directory configurable via Makefile & macros, instead of echo