Commit 45c12937685ff16691ad6adb843444a2ef4265d7

Bruno Haible 2007-05-28T15:46:54

Remember the presence of the --with-tests command-line option through "gnulib-tool --update".