Closed shamis closed 4 years ago
fixes #143
Coverage remained the same at 100.0% when pulling 778134fef788bc7cbee78cc68b9c4616861ad787 on global_safe_register into 17e50c18253d32689939dbe942d12572bf13ded9 on master.
fixes #143