Skip to content

Commit

Permalink
bring back lost 8.0.3 release notes entry
Browse files Browse the repository at this point in the history
- exists on v80-bugfix, but was missing on master
  • Loading branch information
svigerske committed Sep 12, 2023
1 parent 77f66c6 commit 4a43fa6
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGELOG
Original file line number Diff line number Diff line change
Expand Up @@ -298,6 +298,8 @@ Build system

### Makefile

- Use SYM=bliss by default, since bliss now is shipped with SCIP.

Fixed bugs
----------

Expand Down

0 comments on commit 4a43fa6

Please sign in to comment.