# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2017-12-11 23:38:42
# Node ID 2c67717128c193153309aaccaf3a65c13bb8720c
# Parent  15a0838ef8e40c5e68d8696a73dd45718d20528c

Added tag v5.7.1 for changeset 15a0838ef8e4

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -6,3 +6,4 @@ 89496c406287f75bdcb8ffaca83b3014bee3ee95
 8d9f6524a1fd22d5e0f9e34be24f93b2d59f15a7 v5.4.1
 75aa89d1192a128c7c5042c5d365074e2af67a7e v5.4.2
 de682a3a7c53a46c1516ac84b9e88107545a4272 v5.7.0
+15a0838ef8e40c5e68d8696a73dd45718d20528c v5.7.1