--- a/.hgtags	Tue Jun 09 21:59:40 2015 -0700
+++ b/.hgtags	Tue Jun 09 22:00:18 2015 -0700
@@ -129,3 +129,4 @@
 1641f5e7b6f77f7769aef3b42f5c824a5d8ec08c s11u3-23
 bcf2c636e55150682ad2537da5ebe75304618ce2 s11u3-24
 10d7a0bae954a93028f3af30af3f5caf44641f60 s11u3-25
+71d9e9b75bd1ef8f2334a910a38662376964cb6e s11u3-25.1