diff -r 42dbdee1d9f0 -r e170ecb1dffe .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sat Dec 04 21:14:52 2021 +0100
@@ -0,0 +1,1 @@
+42dbdee1d9f043175722a336c9ed40f65ff8394f v0.18