Closed jakeleventhal closed 1 year ago
Could you edit the PR to add a "Signe-off-by:..." line? (yeah - I know it sounds pedantic - but it is the price we pay.)
Could you edit the PR to add a "Signe-off-by:..." line? (yeah - I know it sounds pedantic - but it is the price we pay.)
![]()
Already in commit description. @henry2cox I updated PR title as well
Rebased as well
Merged. Thank you for your contribution. Henry
PS: sorry if I missed the signoff message earlier.
Updated genhtml docs to correctly show branch coverage is disabled by default.
Signed-off-by: Jake Leventhal jakeleventhal@me.com