Merge proposals

gcovr maintainers has no merge proposals.