diff -r 0bbd211cf4d7 -r f9fc7b2a192e .hgtags
--- 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