Adeodato Simó wrote: >> I haven't heard anything from Ian, but otherwise I'm happy with the patch, >> and think it is worth 0.18 if someone else agrees. > > CCing Ian to see if he wants to comment. I'll review this today. It sounds low enough risk so I'd like to see it land in 0.18 if it's ready. Ian C.