Commit b880b7c93bb4d402333c8ebce971a7d6257cdef3

Bruno Haible 2017-09-09T14:16:35

gnulib-tool.py: Keep substitution order like in gnulib-tool. This should be a no-op change. Just for easier parallel maintenance with gnulib-tool.