Commit 7b8827ab authored by Joachim Breitner's avatar Joachim Breitner

Bump submodule nofib (Semigroup now required)

This will unblock, which got stuck after 8ae263ce.
parent 8f99cd67
Subproject commit 999a46a1a73832795c532e142a3e37664417f35c
Subproject commit 5748d428204ea0552f70b2981eaf30d4a5cfd3e9
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment