# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2016-03-02 19:17:48
# Node ID df9e94d06281fa5532fa6e5e9628303333901d24
# Parent  11d7014a714d497adeb40f7c3189cbd1708e8f0d
# Parent  9b6c780b8b7902a6905e2e504505be4e54ff65e5

Merged default

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,3 +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