Closed FranckRJ closed 3 years ago
This change is made so single headers won't ditch them. Fix #231.
Coverage remained the same at 99.923% when pulling 1ae52e8135b771612c7d2bda890b547e3c013311 on fix_missing_includes_single_header into 1576b26efca0a91361ff1974062c6da25ca944f6 on master.
This change is made so single headers won't ditch them. Fix #231.