Re: Bug#121642: libstdc++3: Unable to do buffered cout (?)

[Martin v. Loewis]

> Nor do I believe that the HOWTO suggests that stdio is bad.  

Well, it says "Ditch C". It says so only to get my attention, but I
still read it as "if you want to performance, do not use stdio" (and
it actually says that).

Regards,
Martin