Merge "(patch-coverage.pl) Ignore header files that yield no coverage" into devel...