# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1538745752 -7200
# Node ID 8c065bb7325f52544564b77d57121559ba611404
# Parent  a1ada187c067bdefeca7c7fde995501ec79679ad
Added tag v1.2-2 for changeset 44c3d5174f77

diff -r a1ada187c067 -r 8c065bb7325f .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Fri Oct 05 15:22:32 2018 +0200
@@ -0,0 +1,1 @@
+44c3d5174f7784c2864a813e149375330dfd40df v1.2-2