1.1 --- a/.hgtags	Fri Jul 25 11:36:59 2014 +0200
     1.2 +++ b/.hgtags	Fri Jul 25 14:10:54 2014 +0200
     1.3 @@ -23,3 +23,5 @@
     1.4  070ee1e013a3b3aba93285d36f7a5982549e06a7 release-0.8.1
     1.5  9b1c84366336d8ab4d1f5717279eda3df656d248 release-0.8.2
     1.6  d106d4045785aba568177595f8ea2a57414ee839 release-0.8.3
     1.7 +d106d4045785aba568177595f8ea2a57414ee839 release-0.8.3
     1.8 +0000000000000000000000000000000000000000 release-0.8.3