No matches were found for subject:"\[bug\-gnulib\] gnulib\-tool\: don't ever forget to set $dry again"