New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

If interface exists, ask if it should be overwritten #865

Merged

zth merged 2 commits into rescript-lang:master from fhammerschmidt:ask-to-overwrite-interface

Dec 14, 2023

Member

fhammerschmidt commented Dec 12, 2023

Small QoL feature


          If interface exists, ask if it should be overwritten

904f293

zth approved these changes

View reviewed changes

Collaborator

zth left a comment

Great stuff! Changelog?


          Changelog

82d6403

zth merged commit 091c9fe into rescript-lang:master

5 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet