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

Merge pull request #1454 from pymor/output_functional_not_none

Ensure that output_functional is never None
parents 8f8be37d d66cc39e
Pipeline #106216 failed with stages
in 41 minutes and 42 seconds