On Fri, Oct 2, 2015 at 6:59 PM, Sander M. Kleijwegt <Sander at myowndomain.nl> wrote: > see attached patch. Looks good to me on initial glance. However, you should prefix the emails that include patches with [PATCH] on the subject line. This way it is easier for Dirk to recognize the patches that should be included. miika