This commit was manufactured by cvs2svn to create tag 'release12'.
diff --git a/.hgtags b/.hgtags
index 5e4adcf..1f07dbb 100644
--- a/.hgtags
+++ b/.hgtags
@@ -8,3 +8,4 @@
 366e7871dc1cc5c6b75750eb3d7dbd3e83913533 v1.2b2
 e39e29c31050e38e8abf2af4ef9e8e4518c8ce3c v1.2b3
 1efa7bc3bb11bfb4d6318407b0ecebc238874f36 v1.2b4
+1f07c2d5483fc78a873a63217a4671f2b6b5a5e8 v1.2