# HG changeset patch
# User Tomas Zeman <tzeman@volny.cz>
# Date 1546518739 -3600
# Node ID da897e7419e7bd96638c384d52290a8f80b1b7eb
# Parent  c9b64d8025ed04bcf131303bd358ccdbf1c5385f
Added tag 18.12 for changeset c9b64d8025ed

diff -r c9b64d8025ed -r da897e7419e7 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Thu Jan 03 13:32:19 2019 +0100
@@ -0,0 +1,1 @@
+c9b64d8025ed04bcf131303bd358ccdbf1c5385f 18.12