# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2016-03-01 23:45:34
# Node ID 35cfd0433d6af512a095632946b4b9e8ee4a5b01
# Parent  812e073097100155247b2ab698998e604896c37b

Added tag v5.3.1 for changeset 812e07309710

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,3 +1,4 @@
 11bc9e2ddf0107cfdc15a78ccb3e4b73fe891184 v5.2.0
 0c40b177d129979e0436ddb48ac6d80792ae825c v5.2.1
 1e9bc98a5eec8bf73ebb4019d612828807775cf3 v5.3.0
+812e073097100155247b2ab698998e604896c37b v5.3.1