a with statement slipped in with the dist-repo changes
:thumbsup:
Pull-Request has been merged by mikem
Pull-Request has been merged by puiterwijk
Not actually merged due to Pagure bug: see https://pagure.io/pagure/issue/2444
merge commit: cf4357303ae9342c38b7eca85be3e3fbc333debc
ok, now this is merged
a with statement slipped in with the dist-repo changes