Merge pull request #1214 from DavidJRobertson/configurable-kill-poll-rate
authorJim Morris <morris@wolfman.com>
Fri, 1 Sep 2017 19:19:59 +0000 (20:19 +0100)
committerGitHub <noreply@github.com>
Fri, 1 Sep 2017 19:19:59 +0000 (20:19 +0100)
Add configuration option kill_button_poll_frequency, see #1212.


Trivial merge