--- a/.hgtags Wed Dec 07 06:57:26 2022 +0200
+++ b/.hgtags Wed Dec 07 07:00:27 2022 +0200
@@ -1,2 +1,3 @@
d80b87b8acd08e71cabdfad7ad0429934b12ab95 unthreaded
f4eca695149f28f78055e2dabfb35905e98591ee non-scoped-threading
+51bfde513cfa524a15cbdfd3d70faa99ef61ac9b v0.1.0