Commit ae006ab087881d9273cee33e8afaae4c3107acc1

Bruno Haible 2020-04-28T01:25:01

remove-dest-slash: Remove deprecated module. * modules/rename-dest-slash: Remove file. * MODULES.html.sh (Compatibility checks for POSIX:2008 functions): Update. * NEWS: Mention the removal.