--- a/.hgtags	Wed May 30 12:19:28 2007 +0200
+++ b/.hgtags	Wed May 30 12:22:29 2007 +0200
@@ -44,3 +44,4 @@
 55478328b2422c700c5404a774c85e77322f41a3 3.9
 018c3846842291cb6c009dc087e7fe2f0ef53bea 4.0
 00f4180df72b49aadb2933804fde4bfb33e5666d 4.1
+c13cb8c6b7a56af74cc88346e71d2490470b546f 4.2