# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1623657947 -7200
# Node ID 8e3fbb725faf39321385ae859aa15d7b0830e2f4
# Parent  a80b5db244b8ceeea936770b9c5f314d46251fb3
Settings tag v3.1.

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -5,3 +5,4 @@ fe8170e2b549c22ceb2d96301022b9304f62424d
 6423fb0bf9ebba64167ca1b40b79aeacbb8e7c47 v2.28
 70808ab71d2ad997d7b7fa38d675fc90f71a059c v2.29
 bc39810b3faa4c52ce63b29147075e91266a3e84 v3.0
+a80b5db244b8ceeea936770b9c5f314d46251fb3 v3.1