]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
Merge pull request #6964 from google/font-tags
authorMarc Foley <m.foley.88@gmail.com>
Tue, 14 Nov 2023 17:12:47 +0000 (17:12 +0000)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2023 17:12:47 +0000 (17:12 +0000)
ci: check family tagging sheet is intact


Trivial merge