--- a/.hgtags	Mon May 23 13:24:54 2011 +0200
+++ b/.hgtags	Mon May 23 13:24:54 2011 +0200
@@ -201,3 +201,4 @@
 5cd0dbc26882f60e3f11ec55e7f058d94505e7ed cubicweb-version-3.12.4
 7c4d34a5ec57f927a70cbc7af7fa8310c847ac42 cubicweb-debian-version-3.12.4-1
 ae33197db1f08d42c9df49563f7b15246f8c8e58 cubicweb-version-3.12.5
+6dfe78a0797ccc34962510f8c2a57f63d65ce41e cubicweb-debian-version-3.12.5-1