On Fri, Mar 24, 2017 at 09:00:25AM +0000, Dave Mitchell wrote: > I've just pushed the following 3 commits: .. and am removing this ticket from the 5.26.0 blockers list. I'm not sure whether the ticket can be closed. -- Dave's first rule of Opera: If something needs saying, say it: don't warble it.Thread Previous | Thread Next