On Fri, Feb 16, 2018 at 12:40 PM, Ruediger Pluem <[email protected]> wrote: > > On 02/16/2018 12:35 PM, Yann Ylavic wrote: >> >> Maybe it's used to eat/discard lines somewhere? > > This was also one of my thoughts. Hence the post here to gather feedback :-)
Quite memory costly by the way for more than one line, we do not recommend this :)
