Skip to content

Conversation

beorn7
Copy link
Member

@beorn7 beorn7 commented Dec 3, 2018

Fixes #509.

Signed-off-by: beorn7 <beorn@soundcloud.com>
@beorn7
Copy link
Member Author

beorn7 commented Dec 3, 2018

@eklitzke

@beorn7
Copy link
Member Author

beorn7 commented Dec 4, 2018

I'll take @metalmatze's 👍 as a review for this (fairly small) change.

@beorn7 beorn7 merged commit 2df5ba3 into master Dec 4, 2018
@beorn7 beorn7 deleted the beorn7/timer branch December 4, 2018 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant