Closed ddemidov closed 7 years ago
Fixes #172
LGTM, assuming we are correct that there are no operational differences.
Fixes #172