Joe Buck wrote: > Here's a patch. Should I re-open PR 12186 or make a new PR? I checked it in for you. Since you already have a patch, I don't think we need to worry about filing a bug report. -- Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com