Closed jcranendonk closed 5 years ago
Fixes #958
Coverage remained the same at 93.455% when pulling c39dd38bc76ac41c552468d42973efe321522b1e on travis_update into f4a6be2c8386833bad982ff6f1de0cbd2abfc207 on master.
Fixes #958