PR check test#382

jupblb wants to merge 1 commit intomainscip-code/scip:mainfrom

michal/pr-testscip-code/scip:michal/pr-testCopy head branch name to clipboard