Merge "(patch-coverage.pl) Ignore header files that yield no coverage" into devel...
authorAdeel Kazmi <adeel.kazmi@samsung.com>
Thu, 13 Feb 2020 16:06:11 +0000 (16:06 +0000)
committerGerrit Code Review <gerrit@review.ap-northeast-2.compute.internal>
Thu, 13 Feb 2020 16:06:11 +0000 (16:06 +0000)
commit85706896e241ba0bc7adb6ba8bfd346a50c046de
treeef8d0a9269086648f308a0a0f05e034716b6878c
parent18dd64ad27d1f3ebe928f94e80538f43cde8095b
parentc17340f60cdb1df6690e0aadb3e844980e03b7b2
Merge "(patch-coverage.pl) Ignore header files that yield no coverage" into devel/master