chore(deps-dev): bump rescript from 12.2.0 to 12.3.0#28

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

dependabot/npm_and_yarn/rescript-12.3.0hyperpolymath/coq-jr:dependabot/npm_and_yarn/rescript-12.3.0Copy head branch name to clipboard