On 30-07-2022 13:16, Maxime Devos wrote:
> This (reviewed!) patch would be helpful for debugging 
> <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56836> and many other 
> "guix pull: You found a bug" reports.
>
Nevermind sent to the wrong number.