Merge pull request #7525 from TimelessNL/master
authorHannu Nyman <redacted>
Tue, 27 Nov 2018 18:31:51 +0000 (20:31 +0200)
committerGitHub <redacted>
Tue, 27 Nov 2018 18:31:51 +0000 (20:31 +0200)
digitemp: bump to version 3.7.2


Trivial merge
git clone https://git.99rst.org/PROJECT