mirror of
https://github.com/nlohmann/json.git
synced 2026-07-26 21:53:05 +04:00
e17e0d031f
attempt to fix #1445, flush buffer in serializer::dump_escaped in UTF8_REJECT case.