Commit baeafcfe7ab8be8c9d54478821520ec29be84fd7

Bruno Haible 2020-02-22T15:19:36

Update gnulib-tool.py.TODO.