diff -r c52c15100fb2 -r 8873aedbd83d .hgtags
--- 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