Closed heat-wave closed 2 years ago
@heat-wave thanks! agree with your changes, will read the code, run tests and merge asap
@jaromil Happy holidays! No rush with this (especially during the festive season), but would be good to get the CI running -- please let me know if there's anything else to do on this one.
HNY and thanks again, this is of course good to merge, my bad for delaying. Tests match and its great to have them running on GitHub infra now
Fixes #417