--- a/.hgtags Sun Nov 30 15:50:36 2025 +0100
+++ b/.hgtags Sun Nov 30 16:01:48 2025 +0100
@@ -5,3 +5,4 @@
871a8ffe6c9d98192ae11b6eeabe68c729df2655 v2.1
8a3336743c4ebbab46907357851c2f2feb63c2a5 v3.0
18a1a499f0656fcf5c6167cc261c414714b7c633 v3.1
+38d3f40a50ec1da816dace7f0ec932d05412b92b v3.2