1.1 --- a/.hgtags	Wed May 09 18:09:06 2012 +0200
     1.2 +++ b/.hgtags	Mon Jul 01 15:40:55 2013 +0200
     1.3 @@ -1,1 +1,2 @@
     1.4  11879ab3436433770b2a7efcba40c520982d1bd9 v1.0
     1.5 +9cb46ca7e26c0d2e18e2c34750143ddcd74a2d67 v1.1