Michael Jeanson <mjeanson at efficios.com> writes: > > This one is my fault, I forgot to stage one file when I submitted > 22e7ae1917a72d89b308345b3bcb97c76362da4f. Jérémie is on vacation for the > week, in the meantime you can apply the attached patch. That works, thanks.