Luca 358970e3d0 fix iterator_input_adapter consuming input before it should		2022-04-14 13:00:52 +02:00
..
nlohmann	fix iterator_input_adapter consuming input before it should	2022-04-14 13:00:52 +02:00