Ignores from coverage#723

armanddidierjean wants to merge 1 commit intomainaeecleclair/Hyperion:mainfrom

ignore-lines-from-coverageaeecleclair/Hyperion:ignore-lines-from-coverageCopy head branch name to clipboard