projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 726b0fc fc72312)
Merge pull request #7525 from TimelessNL/master
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 27 Nov 2018 18:31:51 +0000 (20:31 +0200)
committerGitHub <noreply@github.com>
Tue, 27 Nov 2018 18:31:51 +0000 (20:31 +0200)
digitemp: bump to version 3.7.2


Trivial merge
Mirror of packages feed