.hgtags
changeset 17613 7623e90df6f2
parent 17505 a934dbe3f5fa
parent 17611 e73588ed4b71
child 17630 3ef42df4953f
child 18091 d221450bb4d5
child 18286 18d1c926f607
--- a/.hgtags	Fri Aug 10 13:41:42 2012 +0200
+++ b/.hgtags	Thu Aug 16 09:50:02 2012 +0000
@@ -86,4 +86,5 @@
 fb07998d8c76243c27156403bb2735d6548c8831 3.0MP11.1
 2781e1fb77af40758a1e18d97f609c05a130a4e6 3.0MP12
 1b0f90676e38f67c46ea0f27b9c28beca1cbf79d 3.0MP12.1
+6319e314cf98d9fd0df44324e8a5b2aead800b54 3.0MP12.2
 33314611486b1823d42d1059110369d7705ef13f 3.0MP13