# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1668890612 0
# Node ID 0539e3ec5b5f64e1f68b3e79b4d8cdaeb9142023
# Parent  738247c34d001c1b8b9b890fb88f5088d6315aa2# Parent  7cd1bf91afc30c6dc51356bcf59a2459f742a899
Merge.

diff -r 738247c34d00 -r 0539e3ec5b5f .hgtags
--- a/.hgtags	Sat Nov 19 20:43:04 2022 +0000
+++ b/.hgtags	Sat Nov 19 20:43:32 2022 +0000
@@ -222,3 +222,5 @@
 50505835a244fecae5fb223df4d404343d69606e build-default-393
 b69bb8d18bf1a2fb930f0d9129af8580585f6395 build-default-394
 b1dbb76f4eb92bfe614bc21a8363d75075b12e39 build-default-404
+5a9e1e6c00369e9f2f224988f9d2d40213ec53c8 build-default-405
+e4b4f7dfd172d4288f7f79974f8fdfb86fecdebe build-default-406