I plan to merge this on or after Sunday even without explicit approval, unless someone objects until then. With @apol having had a look at the code, @davidedmundson having tested it, and it being a relatively compact patch, I think 3 weeks of stewing is a fair amount of waiting time before a merge.
↧