diff -r 1ed205146ee2 -r 17bdc485c5b2 .hgtags
--- a/.hgtags	Thu Oct 08 18:24:09 2015 +0200
+++ b/.hgtags	Thu Oct 08 18:38:16 2015 +0200
@@ -469,6 +469,9 @@
 5932de3d50bf023544c8f54b47898e4db35eac7c 3.19.12
 5932de3d50bf023544c8f54b47898e4db35eac7c debian/3.19.12-1
 5932de3d50bf023544c8f54b47898e4db35eac7c centos/3.19.12-1
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 3.19.13
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 debian/3.19.13-1
+f933a38d7ab5fc6f2ad593fe1cf9985ce9d7e873 centos/3.19.13-1
 7e6b7739afe6128589ad51b0318decb767cbae36 3.20.0
 7e6b7739afe6128589ad51b0318decb767cbae36 debian/3.20.0-1
 7e6b7739afe6128589ad51b0318decb767cbae36 centos/3.20.0-1