Merge branch 'master' of github.com:google/mug

Author: fluentfuture

.github/badges/mug-summary.json

@@ -1 +1 @@
-{"branches": 95.14018691588785, "coverage": 95.9900124843945}
+{"branches": 95.14018691588785, "coverage": 95.9350811485643}