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.
OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature