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

Merged proposed change in #559 by @jduda after perltidy change. #581

Merged
merged 1 commit into from
Jul 10, 2016

Conversation

hollie
Copy link
Owner

@hollie hollie commented Mar 20, 2016

Pull request for the changes proposed by @jduda in #559

@hollie
Copy link
Owner Author

hollie commented May 12, 2016

Hello,

anybody who has feedback on this pull request. I'd like to merge it into master if OK for the other developers.

Kind regards,
Lieven.

@hplato hplato merged commit b5792fe into master Jul 10, 2016
@hollie hollie deleted the fix_inactivity_timer branch January 8, 2017 17:12
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.

2 participants