On Thu, Mar 10, 2011 at 11:48:14AM +0100, Theo van Klaveren wrote: > Please let me know if the patch is okay like this, because I'm new to this > whole git thing. It already ate > all my patches earlier today. Pushed, thanks! D.