Skip to content
This repository was archived by the owner on Jun 15, 2023. It is now read-only.

Port of https://github.com/rescript-lang/rescript-compiler/pull/6041 #739

Merged
merged 1 commit into from
Mar 6, 2023

Port of https://github.com/rescript-lang/rescript-compiler/pull/6041

b725fb2
Select commit
Loading
Failed to load commit list.
Merged

Port of https://github.com/rescript-lang/rescript-compiler/pull/6041 #739

Port of https://github.com/rescript-lang/rescript-compiler/pull/6041
b725fb2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs