Merge pull request #5216 from ckelsel/master
authorakallabeth <akallabeth@users.noreply.github.com>
Fri, 25 Jan 2019 09:01:30 +0000 (10:01 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Jan 2019 09:01:30 +0000 (10:01 +0100)
change SetTimer elapse from 10 to USER_TIMER_MINIMUM


Trivial merge