.hgtags
changeset 17295 10d28d7399d2
parent 16748 3680c0f596f2
parent 17293 844318ff2445
child 17381 578d75bfa3f7
--- a/.hgtags	Thu Jun 28 07:48:16 2012 +0200
+++ b/.hgtags	Thu Jun 28 06:44:38 2012 +0000
@@ -83,4 +83,5 @@
 35a1ec14c74d970e083b2d195ea2eed784d5ac1c 3.0MP10.2
 40c4dd7ff48945d073007753a5f296207c0c0f22 3.0MP10.3
 f96fd5be357082854f418944e69fb406ae0dcda6 3.0MP11
+fb07998d8c76243c27156403bb2735d6548c8831 3.0MP11.1
 2781e1fb77af40758a1e18d97f609c05a130a4e6 3.0MP12