Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Undo history #6

Open
pulyaevskiy opened this issue Jul 13, 2018 · 1 comment
Open

Undo history #6

pulyaevskiy opened this issue Jul 13, 2018 · 1 comment
Labels
feature New feature or request

Comments

@pulyaevskiy
Copy link
Contributor

No description provided.

@pulyaevskiy pulyaevskiy added the feature New feature or request label Jul 13, 2018
@algokun algokun mentioned this issue Jun 4, 2019
Closed
@Gicminos Gicminos mentioned this issue Aug 1, 2019
Closed
@CanRau
Copy link
Contributor

CanRau commented Feb 22, 2020

That would be very much appreciated and has even a PR which unfortunately has been closed for (to me) unknown reasons #113 🤔😭

@qq329401134 qq329401134 mentioned this issue May 16, 2020
Open
@kwestlund kwestlund mentioned this issue Jun 12, 2020
Open
@sorrychan sorrychan mentioned this issue Jan 12, 2021
Open
Open
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pulyaevskiy @CanRau