Merge "Updated patch coverage script." into devel/master