--- a/.hgtags Fri Dec 20 14:36:21 2019 +0200
+++ b/.hgtags Fri Dec 20 14:36:36 2019 +0200
@@ -1,3 +1,4 @@
609a3f4b3c27f2179a4dacf81ee8f04c9e1a33d4 0.7.0
b51ba2647b41f0ec66b297e9a4fe7eaaff46a431 0.7.1
1b6786e9865db8b2c451fa1afb5ac2fe052a8b85 0.8.0
+8acea12976c4af6c71ac3c224be530a1cbde1a21 0.8.1