From 4a43fa6f224ce6fb5a2ee8eb1a8e91b49edae7dd Mon Sep 17 00:00:00 2001 From: Stefan Vigerske Date: Tue, 12 Sep 2023 16:12:55 +0200 Subject: [PATCH] bring back lost 8.0.3 release notes entry - exists on v80-bugfix, but was missing on master --- CHANGELOG | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG b/CHANGELOG index 237b6b4e89..af227bbf46 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -298,6 +298,8 @@ Build system ### Makefile +- Use SYM=bliss by default, since bliss now is shipped with SCIP. + Fixed bugs ----------