Merge pull request #2534 from jlebon/pr/copr
authorJonathan Lebon <jonathan@jlebon.com>
Thu, 3 Feb 2022 20:36:50 +0000 (15:36 -0500)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 20:36:50 +0000 (15:36 -0500)

Trivial merge