Skip to content

Port PR https://github.com/rescript-lang/rescript-compiler/pull/6021 …#6024

Merged
cristianoc merged 1 commit into10.1_releasefrom
gentype_core_v10
Mar 2, 2023