[PATCH] v2: Formatted printing for dump_* in the middle-end

[Joseph Myers]

On Thu, 2 Aug 2018, David Malcolm wrote:

> (a) the c-format.c changes (Joseph?), and

The c-format.c changes are OK.

-- 
Joseph S. Myers
joseph@codesourcery.com