--- a/.hgtags	Mon Feb 20 18:10:15 2023 +0000
+++ b/.hgtags	Tue Feb 21 10:06:54 2023 +0000
@@ -85,3 +85,4 @@
 252ed01896dd815700593b86834c776d0fef828d 0.12.1
 be09ac8300a7bde4e81f7cc4e4ee5b0745ab14b7 0.11.14
 3784a8ce05961ddc0f0374f8c12618d9a411546b 0.12.2
+0598d822614f6637a5baaec78570db025c76f722 0.12.3