On Thu, 6 Aug 2020, Roman Gushchin wrote: > > Hi Andrew, > > it seems that Hugh and me haven't reached a consensus here. > Can, you, please, not merge this patch into 5.9, so we would have > more time to find a solution, acceptable for all? > > Thank you! > > Roman Thanks, Roman: yes, I agree that's the best we can do right now - Hugh