On Feb 12, 2015, at 11:53 PM, Xueming Shen <[email protected]> wrote:
> Hi Paul, my apology for taking so long :-)
>
No problem, thanks for putting up with me hassling you :-)
> The change looks fine.
>
Thanks.
> With regarding the edge case "".split(""), I am fine with the idea of
> discarding the
> resulting empty string as one trailing empty string.
>
Ok, something to tackle later on a very rainy day, i will log a P5 issue.
Paul.
