# HG changeset patch # User Raimund Renkert # Date 1381323448 -7200 # Node ID 701b52518dcd85a0d1b6267272deab4c75f85a8d # Parent 816291da1ddeb06c878adc5c9b4958139d299c7e# Parent a72df178f1b9ca41b7f57e706ff8af3c3618a4d1 merged. diff -r 816291da1dde -r 701b52518dcd .hgtags --- a/.hgtags Wed Oct 09 14:56:14 2013 +0200 +++ b/.hgtags Wed Oct 09 14:57:28 2013 +0200 @@ -7,3 +7,4 @@ 6aecd10279b58d54c891a24b627d04e9e47b8b4d 0.4 c26fcf44235309dedd32697ab3cde780c1ac2b3a 0.4 567ce7697fc71f12fc23c018fffeb3d6569e0e66 0.5 +6f4afcd28ff33c67b65645f5b3fe1db02955a163 0.6