Closed FranckRJ closed 3 years ago
Should fix #241.
Coverage remained the same at 99.924% when pulling 6f8ece8550c0ea7cc907d3c07f6dc0b2bab9cca0 on fix-gcc7-warning-unknown-opt into 236ab108ad527622f44d56fa063de6cd17d824ee on master.
Should fix #241.