please tag release 0.4.0 in Git
Hi Michael,
the 0.4.0 tag is missing on the public curry-frontend repo. Please take the appropriate commit with v0.4.0 (if not already done locally) and push to GitLab.
Thanks, Mike
Hi Michael,
the 0.4.0 tag is missing on the public curry-frontend repo. Please take the appropriate commit with v0.4.0 (if not already done locally) and push to GitLab.
Thanks, Mike