# HG changeset patch
# User jbe
# Date 1581266712 -3600
# Node ID b1e1cc61a6f1ca011792b72aa014ffc0b9200ecb
# Parent  a5b8024ef5bc031ff5619688fbef360ba29ac853
Added tag v0.13 for changeset a5b8024ef5bc

diff -r a5b8024ef5bc -r b1e1cc61a6f1 .hgtags
--- a/.hgtags	Sun Feb 09 17:43:32 2020 +0100
+++ b/.hgtags	Sun Feb 09 17:45:12 2020 +0100
@@ -10,3 +10,4 @@
 20482d4309b500a51ec7a1cb1f3e24739f3245ea v0.10
 133626ff7cb2a0c686c8994b7f96a7e6dd13dc34 v0.11
 3364e7fcdf79b1b9ae175dcd216accff10b5dc95 v0.12
+a5b8024ef5bc031ff5619688fbef360ba29ac853 v0.13