Merge: Misc fixes and improvements from WBTW
[nit.git] / lib / io /
2014-10-06 Jean-Christophe... stream: Introduce a push-back reader.