On Nov 12, 2014, at 6:09 AM, Marek Polacek <pola...@redhat.com> wrote:
> The following patch moves the path prunning code into a separate
> procedure and fixes the failures.
> 
> Ok for trunk?

Ok.

Reply via email to