]> git.ipfire.org Git - thirdparty/rrdtool-1.x.git/commitdiff
projects / thirdparty / rrdtool-1.x.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d846974 47ad4ef)
Merge pull request #781 from Marek77/pr_coverity
authorTobias Oetiker <tobi@oetiker.ch>
Thu, 4 May 2017 13:32:41 +0000 (15:32 +0200)
committerGitHub <noreply@github.com>
Thu, 4 May 2017 13:32:41 +0000 (15:32 +0200)
Pr coverity


Trivial merge
Mirror of https://github.com/oetiker/rrdtool-1.x.git