Re: [bootstrap] Tentative fix for PR 54281

[Diego Novillo]

On 12-08-16 09:08 , Richard Guenther wrote:

It fixes it.

Thus, ok from my side (if your testing succeeds).

Worked here too.  Committed to trunk.


Diego.