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
