Re: [PATCH v11] Practical improvement to libgcc complex divide

[Jose E. Marchesi via Gcc-patches]

> This patch version is OK.

I just pushed the patch to master in Patrick's behalf.