Update dependency org.scip-code:scip-java-bindings to v0.8.1#925
Open
renovate[bot] wants to merge 1 commit into
Open
Update dependency org.scip-code:scip-java-bindings to v0.8.1#925renovate[bot] wants to merge 1 commit into
renovate[bot] wants to merge 1 commit into
![renovate[bot]](https://avatars.githubusercontent.com/in/2740?v=4&size=32){kind=avatar}