Commit 4be624beba67fb2e6afd981be32b45fe73ecafb2

Dmitry Selyutin 2017-09-05T23:33:50

gnulib-tool.py: fix exception handling