Commit fb87bcf5306ddb0f7d8eb1f31837e8dada25b5d2

Paul Eggert 2007-11-15T20:58:12

The license of gnu-make and posix-shell is now "GPLed build tool". * modules/gnu-make (License): Likewise. * modules/posix-shell (License): Likewise.