--- a/.hgtags	Wed Jul 31 16:01:34 2019 +0200
+++ b/.hgtags	Wed Jul 31 16:01:47 2019 +0200
@@ -7,3 +7,4 @@
 2868d772c27e807e492ef5ec540af6bcda6e4f74 relpipe-v0.12
 822ffd23d679611ae9c5b47effb1a537b59f21f1 relpipe-v0.11
 d16336d1c61fa702e31f2af16eb23bfa234c3107 relpipe-v0.10
+d39cfc926f959de3d2e7b1c22ddd498dc4b5b34c relpipe-v0.13