--- a/.hgtags Mon Apr 20 13:52:17 2015 +0200
+++ b/.hgtags Mon Apr 20 13:52:43 2015 +0200
@@ -33,3 +33,4 @@
bfe9be352453640233371cc7deb409a09decacf9 5.1.0
9b8628e0a142e0e094e27430c388e3c12ceba513 5.1.1
e886bc501796d53e0a19e608c6e5a6071191819e 5.1.2
+c52c15100fb2d85c3525d6d085b3663ec4f90fe6 5.1.3