Verify buildbot picks up these changes (really needs testing after last change to Makefile.pre.in)
diff --git a/Misc/NEWS b/Misc/NEWS
index f4c726e..cefa739 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -31,7 +31,7 @@
 Build
 -----
 
-- Bug #1513032, 'make install' failed on FreeBSD 5.3 due to lib-old
+- Bug #1513032: 'make install' failed on FreeBSD 5.3 due to lib-old
   trying to be installed even though it's empty.