Commit 2bd09a99c1b1e84fe69c854f2b42cf9a55a006d8

Matthias Clasen 2023-01-01T10:30:40

Merge pull request #3996 from harfbuzz/drop-unused-file Drop an unused file