.hgtags
changeset 154 a8cf38bda6aa
parent 132 8cd86fa46439
child 158 a224305d0ad1
--- a/.hgtags	Tue Mar 20 17:39:48 2018 +0100
+++ b/.hgtags	Tue Mar 20 17:39:48 2018 +0100
@@ -12,3 +12,4 @@
 664b86f16a91de95e4fd18e7dbae41dcda50c00b 0.1.9
 985534bc6ab9e84ae91bd353c7dd7224b0b8f0a6 0.1.10
 d702d2bf095a840135620dbd8ec877b0f3c34a2d 0.1.11
+417296f4bfab831c918720a17737e30cda2bd933 0.1.12