tree 99203a501ae96bb1c5b0c4fa752e451f8bc057b9
parent a6d175f2459a8128584793ccd399766e78c0d212
author Thomas Girardier <girardier@google.com> 1664933249 +0000
committer Thomas Girardier <girardier@google.com> 1664933249 +0000

[Pandora] Fix coverage script

Change-Id: Ie6b422e80c0583acbcf76e6b4ee18dc3be866b40