Merge pull request #9173 from jwrdegoede/hwdb-sensors3
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 4 Jun 2018 09:02:25 +0000 (11:02 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Jun 2018 09:02:25 +0000 (11:02 +0200)
Hwdb sensors3


Trivial merge