* Stafford Horne (sho...@gmail.com) wrote: > On Thu, Oct 14, 2021 at 12:33:06PM -0700, Richard Henderson wrote: > > On 10/14/21 11:52 AM, Dr. David Alan Gilbert (git) wrote: > > > Although I'm tempted to think that perhaps we should just > > > prefer '0x%08' which seems clearer. > > > > That's what I think we should prefer. > > I agree, it's always more clear to me too.
OK, I'll rework it. Dave > -Stafford > -- Dr. David Alan Gilbert / dgilb...@redhat.com / Manchester, UK
