diff -r 5b7757a12bd7 -r cf620f11ff7e .hgtags
--- a/.hgtags	Mon Sep 24 12:52:14 2012 +0200
+++ b/.hgtags	Mon Sep 24 12:53:14 2012 +0200
@@ -17,3 +17,4 @@
 58ba3ae2d3d90f7aa71c3baadf7217f8f6d53f43 V00.14
 58ba3ae2d3d90f7aa71c3baadf7217f8f6d53f43 V00.14
 0000000000000000000000000000000000000000 V00.14
+5b7757a12bd7f9d06df08d6d36388c93d57c5d17 V00.15