On Wed, May 23, 2012 at 9:49 PM, Tobias Burnus <bur...@net-b.de> wrote: > *ping* > > On 20 May 2012 10:34, Tobias Burnus wrote: >> >> *ping* >> >> On Tue, 15 May 2012 12:26, Tobias Burnus wrote: >>> >>> A rather simple patch. >>> >>> Build and regtested on x86-64-linux. >>> OK for the trunk?
Looks obvious to me :-) Ciao! Steven
