Riccardo Corsi b6f1515be5 Implement stream operator<< in terms of the faster to_string() method.		2021-12-23 10:56:25 +01:00
..
uuid.h	Implement stream operator<< in terms of the faster to_string() method.	2021-12-23 10:56:25 +01:00