On Wed, Sep 27, 2006 at 09:33:18PM +0200, Georg Baum wrote: > Am Mittwoch, 27. September 2006 20:47 schrieb Enrico Forestieri: > > On Wed, Sep 27, 2006 at 03:49:25PM +0200, Georg Baum wrote: [...] > > If there are no objections I would like to apply the patch. > > It is well known that STLPort is more strict regarding headers. The patch > is OK with me.
I have applied it. -- Enrico
