On Thursday, 25 June 2015 at 04:06:15 UTC, Ilya Yaroshenko wrote: > Would Summator be merged? That sure looks useful, but I lack the time for a review and if it wasn't in master when we merged master into stable it won't be part of the release.