# HG changeset patch
# User Guido Berhoerster <guido+sievemgr@berhoerster.name>
# Date 1608748987 -3600
# Node ID 44b0108df7757c10b5182a64d615d6208749dce6
# Parent  5350d15a91005c26a2546bf21fd7291b7e9bf813
Added tag version-0.8.0, v0.8.0 for changeset 5350d15a9100

diff -r 5350d15a9100 -r 44b0108df775 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed Dec 23 19:43:07 2020 +0100
@@ -0,0 +1,2 @@
+5350d15a91005c26a2546bf21fd7291b7e9bf813 version-0.8.0
+5350d15a91005c26a2546bf21fd7291b7e9bf813 v0.8.0