Unverified Commit a76092d2 authored by René Fritze's avatar René Fritze Committed by GitHub
Browse files

Merge pull request #1932 from pymor/from_pr_1625

From pr 1625
parents 8f8f05df dea72514
Pipeline #187597 passed with stages
in 41 minutes and 41 seconds