On Wed, Nov 13, 2019 at 02:10:34PM +0000, Joseph Myers wrote:
> Ping.  This patch 
> <https://gcc.gnu.org/ml/gcc-patches/2019-11/msg00659.html> is pending 
> review.

Ok.

        Jakub

Reply via email to