gnulib-tool.py: Fix return value when exiting with Ctrl-C. * pygnulib/main.py (main_with_exception_handling): Catch KeyboardInterrupts and exit with a return code of 1.
2024-05-16T18:26:50