Dear Tobias, That is OK for trunk.
Thanks for the patch. Paul On 5 February 2015 at 22:04, Tobias Burnus <bur...@net-b.de> wrote: > A rather simple patch. > > Build and reg-tested on x86-64-gnu-linux. > OK for the trunk? > > Tobias -- Outside of a dog, a book is a man's best friend. Inside of a dog it's too dark to read. Groucho Marx
