[libstdc++ PATCH] Fix <tempbuf.h>

[Philipp Thomas]

On Fri, 22 Feb 2002 09:27:23 -0800 (PST), you wrote:

>> Benjamin, can we commit it?
>
>Sure!

Could somebody else please check in my patch? I don't have access to
the machine at work before Monday, so I wouldn't be able to check in
myself before that.

Philipp