Skip to content

fix: new PPX name in the error messages#800

Merged
anmonteiro merged 1 commit intomainfrom anmonteiro/rename-ppx-error-msgOct 20, 2023
+4-4

Commits

Commits on Oct 19, 2023