Merge pull request #6409 from mikeller/remove_unused_pid_settings
commitde7a18f1c21dae13e104240d393c7edbefc63064
authorMichael Keller <github@ike.ch>
Sun, 22 Jul 2018 00:43:19 +0000 (22 12:43 +1200)
committerGitHub <noreply@github.com>
Sun, 22 Jul 2018 00:43:19 +0000 (22 12:43 +1200)
tree7121c49008c63abdb7c72a4ab75adfde5f3d001f
parent5e2fefe036622205fa18a83532612a65a9b71ef9
parentec06575203c68f1f509773c759b5bbd02831de46
Merge pull request #6409 from mikeller/remove_unused_pid_settings

Removed unused PID settings.