Commit 5dae8297bbb868e57557a22bd9c56514bb8dd00d

Behdad Esfahbod 2021-07-28T11:35:40

[util] Minor followup to https://github.com/harfbuzz/harfbuzz/pull/3083