.hgtags
changeset 74 1dd5e727a4b7
parent 71 b8b27829493f
child 76 652a0f7b56c4
--- a/.hgtags	Tue Oct 30 14:21:23 2018 +0100
+++ b/.hgtags	Tue Oct 30 14:21:23 2018 +0100
@@ -12,3 +12,4 @@
 7fe59c07bd831e2c3338d845440a7b6918f44cbe 0.1.11
 bce031c421f08e8cf56d04be26339103d6d77560 0.1.12
 4d0e6279ded334510b52ed66ba9a18ed6f50046c 0.1.12.1
+1a77f19cd7dea7cd23c715ee929dcdc8afa0b25e 0.1.12.2