Skip to content

Conversation

@catarak
Copy link
Member

@catarak catarak commented Mar 12, 2021

Fixes #1799
I have verified that this pull request:

  • has no linting errors (npm run lint)
  • is from a uniquely-named feature branch and has been rebased on top of the latest develop branch. (If I was asked to make more changes, I have made sure to rebase onto develop then too)
  • is descriptively named and links to an issue number, i.e. Fixes #123

@release-com
Copy link

release-com bot commented Mar 12, 2021

Release Environments

p5.js-web-editor
app-teda1e3-p5-js-web-editor.releaseapp.io

@catarak catarak merged commit f1eee4b into develop Mar 12, 2021
@catarak catarak deleted the chore/update-p5.js-1.3.0 branch March 12, 2021 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

When will 1.3.0 be standard in editor?

2 participants