Coverage remained the same at 100.0% when pulling befa805e8c6f4a1f5d9fe3592f52409a4199d559 on fix-richards-segfault into 6a859ad69a87a763eb120be71c1ba1227e65ea31 on master.
Coverage remained the same at 100.0% when pulling 4c9cc2ddb8bc22a59e05c98e835ee57e0c90926a on fix-richards-segfault into 6a859ad69a87a763eb120be71c1ba1227e65ea31 on master.
Maybe, one day,this will Fixes #53