Learn more about these different git repos.
Other Git URLs
No commits found
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: cf43573
ok, now this is merged
a with statement slipped in with the dist-repo changes