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.

r~

Reply via email to