On 12/12/18 1:58 PM, Peter Bergner wrote:
> Ping.

Ping * 2.

    https://gcc.gnu.org/ml/gcc-patches/2018-12/msg00212.html

Peter


Reply via email to