# HG changeset patch
# User jbe
# Date 1512946844 -3600
# Node ID 3364e7fcdf79b1b9ae175dcd216accff10b5dc95
# Parent  253218d6662dacf5f1442f159c6a434bab1ba2c8# Parent  7aa3078dc686acedd13ee5da2f56e57b9337bcca
merge

diff -r 253218d6662d -r 3364e7fcdf79 .hgtags
--- a/.hgtags	Sun Dec 10 19:52:04 2017 +0100
+++ b/.hgtags	Mon Dec 11 00:00:44 2017 +0100
@@ -8,3 +8,4 @@
 f1a9a5de9a1237b831dd8563c142e53b6e110d54 v0.8
 3293906ea6a02665a1df0ef921d326bef6853b0f v0.9
 20482d4309b500a51ec7a1cb1f3e24739f3245ea v0.10
+133626ff7cb2a0c686c8994b7f96a7e6dd13dc34 v0.11