| changeset 573 | 4ea5dea84db6 |
| parent 569 | 7cedb9bbcaba |
| child 580 | 41b5d419a0e2 |
--- a/.hgtags Fri Oct 02 13:03:08 2015 +0200 +++ b/.hgtags Fri Oct 02 13:03:19 2015 +0200 @@ -78,3 +78,4 @@ 0000000000000000000000000000000000000000 V00.12.10 5b69a752f80bfe166f279fc3703018ec98178031 V00.12.10 60297c027bb5f5199b089bb0d35caa10b03468fe V00.12.11 +e0e29c7047c8a9d98c97b2144fe0b07b5c39ebb3 V00.12.12