--- a/.hgtags Tue Jun 16 18:01:58 2015 +0200
+++ b/.hgtags Fri Jun 19 17:21:28 2015 +0200
@@ -466,6 +466,9 @@
1ae64186af9448dffbeebdef910c8c7391c04313 debian/3.19.11-1
1ae64186af9448dffbeebdef910c8c7391c04313 centos/3.19.11-1
6d265ea7d56fe49e9dff261d3b2caf3c2b6f9409 debian/3.19.11-2
+5932de3d50bf023544c8f54b47898e4db35eac7c 3.19.12
+5932de3d50bf023544c8f54b47898e4db35eac7c debian/3.19.12-1
+5932de3d50bf023544c8f54b47898e4db35eac7c centos/3.19.12-1
7e6b7739afe6128589ad51b0318decb767cbae36 3.20.0
7e6b7739afe6128589ad51b0318decb767cbae36 debian/3.20.0-1
7e6b7739afe6128589ad51b0318decb767cbae36 centos/3.20.0-1