Merge pull request #2850 from xypron/make
authorchamptar <redacted>
Mon, 13 Jun 2016 18:08:45 +0000 (20:08 +0200)
committerGitHub <redacted>
Mon, 13 Jun 2016 18:08:45 +0000 (20:08 +0200)
devel/make: GNU Make 4.2.1


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