Re: [PATCH] Fix omission from 741631c9b012baab1725e43557fabf384d71f169

[Bruno Haible]

Thanks, applied.

Note that MODULES.html.sh is probably so much out of date, that I did not
dare to publish it on www.gnu.org when publishing the Gnulib manual recently.

Bruno