Subject: Re: bug#7241: Possible bug on split ?

From: Paul Eggert <[email-masked]>
Date: Mon, 18 Oct 2010 12:54:12 -0700

On 10/18/10 10:19, Ulf Zibis wrote:
> IMO this is a bug, or should be documented more explicit.

I'd say fix the doc.  Do you have a suggestion for
improving the wording?