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.

Reply via email to