diff -r 12cf6432371b -r 4e1ce37e13b7 .hgtags
--- a/.hgtags	Sat May 21 09:58:42 2016 -0700
+++ b/.hgtags	Sat May 21 09:59:28 2016 -0700
@@ -176,3 +176,4 @@
 3b31b59da1763cf1f635a65b4dedc3efd92ddd92 s12-99.2
 f10ab5ae99d7aac7dee2a6a63bbc5b568ef63553 s12-99.3
 c070fc9ea447661c2f44e91b418e3c0ec3b12ed2 s12-99.4
+12cf6432371b099498a3f4135769ecd822beaf30 s12-100