diff -r 2868d772c27e -r 13a521e9d34d .hgtags
--- a/.hgtags	Tue May 28 21:18:20 2019 +0200
+++ b/.hgtags	Tue May 28 21:52:15 2019 +0200
@@ -4,3 +4,4 @@
 9302cf6856eac1edcb8fc06e08f84596e819ba33 v0.4
 a94eb371f77e90a8f97388462aec91001a1e3932 relpipe-v0.8
 f71d300205b72c687a4ae2a2e8fe69ce4c9dba7b relpipe-v0.9
+2868d772c27e807e492ef5ec540af6bcda6e4f74 relpipe-v0.12