# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1618931797 -7200
# Node ID 5ae982bd74e3cd4bb2032f8cc7e168baa361b036
# Parent  744652abc028f5d44c2465beb98b0d68f1ef9237
Added tag version-13 for changeset 744652abc028

diff -r 744652abc028 -r 5ae982bd74e3 .hgtags
--- a/.hgtags	Tue Apr 20 17:12:47 2021 +0200
+++ b/.hgtags	Tue Apr 20 17:16:37 2021 +0200
@@ -10,3 +10,4 @@
 ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7 version-10
 1ba6df18301e498ceef56ee2def89c1d94807ea7 version-11
 b1d22243ef1f7f6a3946217a07dec52540c168e0 version-12
+744652abc028f5d44c2465beb98b0d68f1ef9237 version-13