Merge pull request #2850 from xypron/make
authorchamptar <champetier.etienne@gmail.com>
Mon, 13 Jun 2016 18:08:45 +0000 (20:08 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2016 18:08:45 +0000 (20:08 +0200)
devel/make: GNU Make 4.2.1


Trivial merge