--- a/.hgtags	Tue Jul 29 11:32:22 2008 +0100
+++ b/.hgtags	Tue Jul 29 19:19:00 2008 +0100
@@ -54,3 +54,4 @@
 607015ddb091d49cbd3457af41713691aa69f4d6 4.8
 22c669b2dd3673785c3476b9976da21e8783f745 4.9
 06eb9644e2dad7667d97495eb7d7bc62aa0429e8 5.0
+ce355cea9bb89e162f61913737a46908cdfa7e45 5.1