On 2017-04-10 18:18, Michael Jeanson wrote: > > You can hold on merging this patch for now, I think it's only useful for > a very specific environment which might not be worth supporting. > Scratch that, it's needed after all, sorry for the noise. Michael