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~
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~