mirror of
https://github.com/zhigang1992/DefinitelyTyped.git
synced 2026-05-19 13:32:17 +08:00
This fixes (issue 14967 in DefinitelyTyped)[https://github.com/DefinitelyTyped/DefinitelyTyped/issues/14967] Making this via "Propose file change", not forked repo, like I did with PR #15043. That one fails ci, this one shouldn't.