Skip to content
This repository has been archived by the owner on Nov 8, 2018. It is now read-only.

jump to next message faster when deleting the current one #1585

Merged
merged 1 commit into from Jul 28, 2016

Conversation

ChristophWurst
Copy link
Contributor

fixes #783

@jancborchardt @owncloud/mail

@mention-bot
Copy link

@ChristophWurst, thanks for your PR! By analyzing the annotation information on this pull request, we identified @tahaalibra and @jancborchardt to be potential reviewers

@jancborchardt
Copy link
Contributor

👍 very nice! :)

@jancborchardt jancborchardt merged commit d8866c9 into master Jul 28, 2016
@jancborchardt jancborchardt deleted the delete-speeeeeeeeeed branch July 28, 2016 18:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
3 participants