]> git.ipfire.org Git - thirdparty/cups.git/commitdiff
Merge pull request #688 from Plombo/media-type-no-duplicate-names
authorMichael R Sweet <michael.r.sweet@gmail.com>
Wed, 24 May 2023 18:21:50 +0000 (14:21 -0400)
committerGitHub <noreply@github.com>
Wed, 24 May 2023 18:21:50 +0000 (14:21 -0400)
Fix duplicate PPD->IPP media-type name mappings


Trivial merge