.hgtags
changeset 1495 efbda157eb57
parent 1489 74d7bed242b2
child 1501 3e5a9740a15a
--- a/.hgtags	Fri Dec 21 12:21:15 2018 +0100
+++ b/.hgtags	Fri Dec 21 12:33:01 2018 +0100
@@ -423,3 +423,4 @@
 8b545f4cdaf31c288bbb76be493e8634cbd225f4 V06.011
 59bda88361fc219eb9056ce92391dc6939b49629 V06.012
 e2317b55172750167d0a587b8a8c2d114fb49e4a V06.013
+a7adb39ecf22d7f926e13ce39046d238e2b0289c V06.014