On Wednesday, 11 October 2017 at 18:31:30 UTC, jmh530 wrote:
On Wednesday, 11 October 2017 at 18:00:03 UTC, Ilya Yaroshenko Have you had a chance to look at the latest versions of:https://github.com/libmir/mir-algorithm/pull/95
Still needs review; sorry for slow process
https://github.com/libmir/numir/pull/10
LGTM
