Commit 004cdc10f87d7259a7192706c2996f9a9d0a26ed

Behdad Esfahbod 2023-01-07T14:27:15

[open-type] More tweaks to fixed types Add set_int().