--- a/.hgtags	Thu Dec 30 11:25:09 2021 +0100
+++ b/.hgtags	Thu Dec 30 11:30:26 2021 +0100
@@ -9,3 +9,4 @@
 448fc00523487b122efa5e25b96b4aaa59e20433 release-3.0.1
 aae0ec9126cce7725cc4fe9626ce21fe8ba138ce release-3.0.2
 908f5f14b71885dc724fb88f3edfd20eb5f938ac release-3.1.0
+6bb483511b07cd852b1080ba1d5d7a34ced22e0e release-10.0.0