Hi, On Thu, Oct 22, 2015 at 11:33 PM, Peter Korsgaard <peter at korsgaard.com> wrote: >>>>>> "Thijs" == Thijs Vermeir <thijsvermeir at gmail.com> writes: > ... > > Committed with these fixes, thanks! Thanks, for reviewing! Gr, Thijs