Merge pull request #11097 from jwrdegoede/hwdb-sensors5
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sun, 9 Dec 2018 10:50:39 +0000 (11:50 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Dec 2018 10:50:39 +0000 (11:50 +0100)
Hwdb sensors5


Trivial merge