On 01/27/2013 10:13 AM, Reuben Thomas wrote: > Perhaps it would be worth recording this fact in pipe-filter.h as a motivator?
I'm not sure, since I don't recall the issue. Perhaps if you proposed a patch -- not too wordy I hope -- that would clarify things.