Re: PING [PATCH] tighten up -Wbuiltin-declaration-mismatch (PR 86125, 88886, 86308)

[Joseph Myers]

On Wed, 23 Jan 2019, Martin Sebor wrote:

> Ping: https://gcc.gnu.org/ml/gcc-patches/2019-01/msg00969.html

This patch is OK.

-- 
Joseph S. Myers
jos...@codesourcery.com