]> git.ipfire.org Git - thirdparty/rrdtool-1.x.git/commitdiff
Merge pull request #821 from c72578/2017-09-18_rrd_tune.c_optind
authorTobias Oetiker <tobi@oetiker.ch>
Mon, 18 Sep 2017 11:20:31 +0000 (13:20 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2017 11:20:31 +0000 (13:20 +0200)
Fix error 'optind': undeclared identifier


Trivial merge