On Thu, 8 Mar 2018, Florian Weimer wrote: > > The patch and rationale looks reasonable, Andrea and Florian do you still > > have > > objections or doubts about the patch? > > I have no further comments/objections. Committed now and bug closed. Thanks to everyone involved. Maciej