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

Merge pull request #1735 from pymor/release_checklist

[docs] manually editing docs repo is no longer necessary
parents 72019425 f9270237
Pipeline #158384 failed with stages
in 210 minutes and 49 seconds