On Friday, March 24, 2023 4:03:19 PM EDT Tim Johann wrote:
> Hi Philip,
> 
> Happy to be of help.
> 
> Thanks for the pointers, here's the amended patch.  I hope it is to your
> liking.
> 

Thanks, this addresses my concerns!

I'm not a Guix committer, so I'm cc'ing a couple of people who have applied 
recent patches to this file. They may want to review the commit message for 
style, also.

I expect the underlying issue would also affect riscv64, but I hit some network 
trouble when trying to look for a build log just now.

-Philip