/gnu/tests/

84157bb8bf2c610584e0836047da4c710f8eaf76'>Merge branch 'master' into core-updates...Marius Bakke 2017-03-30gnu: Use HTTPS for almost all gnu.org HOME-PAGEs....Tobias Geerinckx-Rice 2017-01-06gnu: m4: Don't replace 'sh' reference with 'bash'....Leo Famulari 2017-01-03gnu: m4: Update to 1.4.18....Marius Bakke