On Tue, 28 Apr 2020 20:08:10 +0200
Björn Höfling wrote:
> Bugreport was re-opened under the guile package here:
>
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40855
>
> Closing this one.
Oh, I didn't realize they were merged. So, I reopened them again :-)
Björn
On Sat, 25 Apr 2020 23:33:50 +0200
Bengt Richter wrote:
> Apologies for my faux pas ;-/
>
> This was not a guix bug, and you have rightly ignored my report.
> (now submitted to bug-guile, with hopes of nz human acks :)
>
> (I guess it will get a new number, so 40744 can be closed?)
>
> (BTW, n