# HG changeset patch
# User rougeronj
# Date 1444036858 -7200
# Node ID 41b5d419a0e21bd390750b7123f94596e72b2d1e
# Parent  197fbb208e0d78a2ee1913312dc435e92a264723
Added tag V00.12.13 for changeset 197fbb208e0d

diff -r 197fbb208e0d -r 41b5d419a0e2 .hgtags
--- a/.hgtags	Mon Oct 05 11:20:41 2015 +0200
+++ b/.hgtags	Mon Oct 05 11:20:58 2015 +0200
@@ -79,3 +79,4 @@
 5b69a752f80bfe166f279fc3703018ec98178031 V00.12.10
 60297c027bb5f5199b089bb0d35caa10b03468fe V00.12.11
 e0e29c7047c8a9d98c97b2144fe0b07b5c39ebb3 V00.12.12
+197fbb208e0d78a2ee1913312dc435e92a264723 V00.12.13