.hgtags
changeset 159 d3ec5a39c2d8
parent 133 bdbdafd5e665
child 175 adcead24cdf1
--- a/.hgtags	Sun Jun 11 14:35:53 2017 +0200
+++ b/.hgtags	Sun Jun 11 11:36:27 2017 +0000
@@ -5,6 +5,7 @@
 6461e0637767a1cc0868d7aba5764aaa85d78787 v1.1.0
 71812d67a16b0b3fc983c6fe254aac0cdeee61d7 v0.1.0
 7217174c217a42a1f8c89fc414886ea1f77680d5 v0.5.2
+908a433f02c00624601605730f52ff16f68d17b3 v1.2.0
 cde24b04e16d3b4bc67c9beb88a8a30301dd69c8 v0.2.0
 ce2b92d6d72ca97e33f08b804c53d830f1b81504 v0.6.1
 ce979580711a50e5911091e6a2048d937504d73f v0.6.0