(cherry picked from commit c651a0ccbf5b17739390b56f91b656a7b920f643)
See http://lists.gnu.org/archive/html/info-gnu/2017-08/msg00012.html for release information