From e256e63588a867b9ea82e03cfc684c2ea2ca1738 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 8 Oct 2012 22:51:08 +0000 Subject: * Models' SubstitutionMaps are now attached to the user context (rather than SAT context) * Enable part of CVC3 system test (resolves bug 375) * Fix infinite recursion in beta reduction code (resolves bug 417) * Some model-building assertions have been added * Other minor changes (this commit was certified error- and warning-free by the test-and-commit script.) --- contrib/cut-release | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'contrib') diff --git a/contrib/cut-release b/contrib/cut-release index 97bc31bb1..0870b6ce0 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -246,5 +246,9 @@ else echo "You can still make a branch manually, of course." fi +echo +echo "Done. Next steps are to upload and advertise these packages and to add" +echo "a $version release to Bugzilla." + trap '' EXIT -- cgit v1.2.3