On 12/09/2013 02:32 PM, bjoern wrote: > Of course, patches are welcome! ;) No, they are apparently not, as long as they linger in git and don't get put into production. ;) Stephan