Wed, 08 Jan 2014 19:24:26 +0100Improved BatchEncoder: writeNextString() v_0
František Kučera <franta-hg@frantovo.cz> [Wed, 08 Jan 2014 19:24:26 +0100] rev 147
Improved BatchEncoder: writeNextString()