# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2016-03-01 23:50:09
# Node ID 9b6c780b8b7902a6905e2e504505be4e54ff65e5
# Parent  8f061df47e87b528685ab866a7e6f55c2a42d40a
# Parent  35cfd0433d6af512a095632946b4b9e8ee4a5b01

Merged 546

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,5 +1,6 @@
 11bc9e2ddf0107cfdc15a78ccb3e4b73fe891184 v5.2.0
 0c40b177d129979e0436ddb48ac6d80792ae825c v5.2.1
 1e9bc98a5eec8bf73ebb4019d612828807775cf3 v5.3.0
+812e073097100155247b2ab698998e604896c37b v5.3.1
 89496c406287f75bdcb8ffaca83b3014bee3ee95 v5.4.0
 8d9f6524a1fd22d5e0f9e34be24f93b2d59f15a7 v5.4.1