On Tuesday, 21 June 2016 at 21:44:59 UTC, Dicebot wrote: > Would you mind making a point release with it if fix is > confirmed? That's Kai's territory, but I'm sure he'll agree that this a sensible thing to do. — David