Unverified Commit 5d99181f authored by Stephan Rave's avatar Stephan Rave Committed by GitHub

Merge pull request #1102 from pymor/improve_project_concatenation

Improve projection of ConcatenationOperator
parents 7db8dafa 6db8ed35
Pipeline #65190 passed with stages
in 50 minutes and 25 seconds