diff -r 93af8545dd96 -r e8a484a9bc98 .hgtags --- a/.hgtags Thu Sep 10 15:47:00 2015 +0200 +++ b/.hgtags Thu Sep 10 16:34:33 2015 +0200 @@ -25,3 +25,5 @@ 0e7e4f7851873731a0e34608ef80f90faa339c41 00.00.17 0000000000000000000000000000000000000000 00.00.17 f116e131e882625a719d0f8a0f56d52344bbd10f 00.00.17 +f116e131e882625a719d0f8a0f56d52344bbd10f 00.00.17 +93af8545dd96f4749f2597cbea6d0076d06324e2 00.00.17