Unverified Commit 64bb8c5c authored by Stephan Rave's avatar Stephan Rave Committed by GitHub
Browse files

Merge pull request #1408 from pymor/fix_1386_2

Introduce ListVectorSpace.vector_type and make make_array smarter
parents 98b56543 206cda03
Pipeline #102067 passed with stages
in 52 minutes and 26 seconds