]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
Merge pull request #2457 from mcnewton/devtoolset
authorMatthew Newton <matthew-git@newtoncomputing.co.uk>
Thu, 31 Jan 2019 22:26:34 +0000 (22:26 +0000)
committerGitHub <noreply@github.com>
Thu, 31 Jan 2019 22:26:34 +0000 (22:26 +0000)
devtoolset-3 doesn't seem to be available any more


Trivial merge