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

Craft undo bugfix #141

Merged
merged 3 commits into from
Nov 2, 2020

Conversation

khenghun
Copy link

@khenghun khenghun commented Nov 1, 2020

Fix bug in undo after craft and undo after addq

@khenghun khenghun self-assigned this Nov 1, 2020
@khenghun khenghun added the severity.Medium Not product-breaking, but barely tolerable bug. label Nov 1, 2020
@khenghun khenghun added this to the v1.4 milestone Nov 1, 2020
@khenghun khenghun added the type.Bug Bug. label Nov 1, 2020
Copy link

@aqcd aqcd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@khenghun
Copy link
Author

khenghun commented Nov 2, 2020

resolves #131

@khenghun khenghun merged commit 2f3a352 into AY2021S1-CS2103T-F13-1:master Nov 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
severity.Medium Not product-breaking, but barely tolerable bug. type.Bug Bug.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[PE-D] Undo/Redo Function performed in stages instead of the entire previous command
2 participants