1.1 --- a/.hgtags	Thu Jul 10 11:53:00 2008 +0200
     1.2 +++ b/.hgtags	Thu Jul 10 11:55:32 2008 +0200
     1.3 @@ -1,1 +1,2 @@
     1.4  1cb43ef2edd94f9528b741b9bf9998f76cb7dda1 vanilla-3.0.2
     1.5 +9ff5cad8a79d9d2ef48180512204f3f861a343cb vanilla-3.0.5