Merge branch 'master' of git.savannah.gnu.org:/srv/git/make
authorPaul Smith <psmith@gnu.org>
Sat, 4 May 2013 17:14:39 +0000 (13:14 -0400)
committerPaul Smith <psmith@gnu.org>
Sat, 4 May 2013 17:14:39 +0000 (13:14 -0400)

Trivial merge