Commit 0abc38bd2a1398f02d79e6a94c7785cab7ff36c2

Bruno Haible 2020-04-28T01:29:16

getopt: Remove deprecated module. * modules/getopt: Remove file. * NEWS: Mention the removal.