On Wed, 27 Apr 2016, Florian Weimer wrote: > On 04/27/2016 05:36 PM, Anders Kaseorg wrote: > > Is this ready to be committed, or do you still have concerns? > > Yes please, this change looks fine. Do I need to do anything else? In case it wasn’t clear, I don’t have commit access. Anders