mirror of
https://github.com/nlohmann/json.git
synced 2026-10-10 08:27:13 +00:00
finish() copied the whole output when the buffer was more than twice as large as the result (citm dump +11%). The tighter source_extent() estimate already keeps the buffer of a small value small. Signed-off-by: Niels Lohmann <mail@nlohmann.me>