branch wip-andreas-merge deleted (was 3e91028e05)

[guix-commits]

andreas pushed a change to branch wip-andreas-merge
in repository guix.

     was 3e91028e05 Merge remote-tracking branch 'origin/master' into 
wip-andreas-merge

This change permanently discards the following revisions:

 discard 3e91028e05 Merge remote-tracking branch 'origin/master' into 
wip-andreas-merge