Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Show original event in edit history #3195

Merged
merged 1 commit into from
Jul 11, 2019

Conversation

bwindels
Copy link
Contributor

@bwindels bwindels commented Jul 9, 2019

@bwindels bwindels requested a review from a team July 10, 2019 13:46
@bwindels bwindels merged commit dd12824 into develop Jul 11, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Message Editing: The original message is not shown in the history
2 participants