--- a/.hgtags	Wed Jul 18 18:20:48 2018 +0200
+++ b/.hgtags	Wed Jul 18 18:21:03 2018 +0200
@@ -6,3 +6,4 @@
 607cdf16caf5d9186e5aa5a3bb172c30e62eed4d 0.1.33
 607cdf16caf5d9186e5aa5a3bb172c30e62eed4d 0.1.33
 8425a9b22dad5589efc0270eaf50e11d1e8284d9 0.1.33
+66e64416d29acf78e21f311733fbf329743659c9 0.1.34
changeset 30	0b6bb04ec32b
parent 28	d46fdfd4a2ab
child 32	9f380634dad6