Re: Patch ping^2

[Jeff Law]

On 04/18/2017 07:55 AM, Jakub Jelinek wrote:

I'd like to ping following patch:

PR debug/80263
    http://gcc.gnu.org/ml/gcc-patches/2017-04/msg00004.html
    avoid emitting sizetype artificial name into debug info

OK.
jeff