Skip to content

Fix code action for inserting missing record fields for v11 of ReScript#817

Merged
zth merged 2 commits intomasterfrom
fix-undefined-record-fields-action
Sep 11, 2023
Merged

Fix code action for inserting missing record fields for v11 of ReScript#817
zth merged 2 commits intomasterfrom
fix-undefined-record-fields-action

Commits

Commits on Sep 11, 2023