diff -r 000000000000 -r 3bc3b33ccb02 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Tue Sep 29 20:10:29 2020 +0200
@@ -0,0 +1,8 @@
+b5a5bf32f7ffb039517be2e3944c1634bb72be7a v0.9
+534535aa4de49e5d9134c2424eccfeaf38dbaa5f v0.10
+de4c706edf41b30306cf9c118215636c14440702 v0.11
+104296eb0400653855ae3b4d505dde5b57da3511 v0.12
+fdc91bd0c507c279808a71e6fe464567bd6a6fa0 v0.13
+4bcf3fb7cc48102f676906e57d9414349a0ee984 v0.14
+9b926b6907b0b833b7668ba85f1b4991c511c9aa v0.15
+7a8859067c330d24bd8bb6e70d0b521b2e770ff1 v0.16