Re: [PATCH v3 09/28] git-remote-mediawiki: Change the behaviour of a split
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Jun 10, 2013, 08:29 UTC
- Message-ID
- <vpqppvuqsg4.fsf@anie.imag.fr>
- In-Reply-To
- <1370816573-3808-10-git-send-email-celestin.matte@ensimag.fr>
Célestin Matte <celestin.matte@ensimag.fr> writes:
> A "split ' '" is turned into a "split / /", which changes its behaviour: the > old method matched a run of whtespaces (/\s*/)
It case there's a v4: whtespaces -> whitespaces.
-- Matthieu Moy http://www-verimag.imag.fr/~moy/