.hgtags
changeset 708 ced985515dea
parent 688 b1ad928f4be9
child 741 d79ab1c77b17
--- a/.hgtags	Sun Feb 28 19:26:55 2016 +0100
+++ b/.hgtags	Sun Feb 28 18:55:03 2016 +0000
@@ -1,3 +1,4 @@
+1b455131d0f15c2b9104f65da9d0d09a69229204 1.5.3
 2c04915af500cf1b9c414a7cf60675d15e22a06e 1.5.0
 33e5f0c5ba109cac32eeabf132af73986caa1d6d 1.3.3
 3dafc8376e9bd148d51f0be3da73e7c15e2f45e0 1.3.4