On Tue, May 31, 2011 at 10:40 AM, James Youngman <[email protected]> wrote:
> The simplest way to deal with this if you have no local modifications
> in "gnulib-git/" is to delete both directories before updating, and
> then re-run import-gnulib.sh:

import-gnulib.sh will now stop with an explanatory message if you need
to do this.

James.

Reply via email to