Re: array_length(anyarray)

On 1/19/14, 12:21 AM, Pavel Stehule wrote:
> I checked it and I got a small issue
>
> bash-4.1$ patch -p1 < cardinality.patch
> (Stripping trailing CRs from patch.)
>
> not sure about source of this problem.

I can't reproduce the problem.  In fact, I don't see a single CR byte in 
the patch file on my disk, the file my email clients claims to have sent 
or a copy of the file I downloaded from the archives.  Are you sure this 
isn't a problem on your end?


Regards,
Marko Tiikkaja