Merge: Kill PushBackReader
authorJean Privat <jean@pryen.org>
Wed, 13 May 2015 17:56:03 +0000 (13:56 -0400)
committerJean Privat <jean@pryen.org>
Wed, 13 May 2015 17:56:03 +0000 (13:56 -0400)
As part of the #1309 series, this is a first PR signaling the death of the PushBackReader, since its semantics were for the least, doubtful, and since its use was mainly for look-ahead parsers, it's been decided that a peek operation on BufferedReaders would be better.

Pull-Request: #1333
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Jean Privat <jean@pryen.org>


Trivial merge