Skip to content
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.

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

fix: DEV-3647: Eraser brush not erasing stroke #3162

Merged
merged 6 commits into from
Nov 1, 2022

Conversation

robot-ci-heartex
Copy link
Collaborator

Hi @yyassi-heartex!

This PR was created in response to a PRs in upstream repo:

@swarmia
Copy link

swarmia bot commented Oct 28, 2022

✅  Linked to Bug DEV-3647 · Eraser brush not erasing stroke

@github-actions github-actions bot added the fix label Oct 28, 2022
@yyassi-heartex yyassi-heartex changed the title fix: DEV-2647: Eraser brush not erasing stroke fix: DEV-3647: Eraser brush not erasing stroke Oct 31, 2022
@robot-ci-heartex robot-ci-heartex marked this pull request as ready for review November 1, 2022 11:12
@robot-ci-heartex robot-ci-heartex enabled auto-merge (squash) November 1, 2022 11:12
@yyassi-heartex
Copy link
Contributor

yyassi-heartex commented Nov 1, 2022

/git merge develop

Error: failed to execute "merge" command

Workflow run

@robot-ci-heartex robot-ci-heartex merged commit 812391e into develop Nov 1, 2022
@github-actions github-actions bot deleted the fb-dev-3647/eraser-fix branch November 1, 2022 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants