On Tue, 28 Apr 2020 20:08:10 +0200
Björn Höfling <bjoern.hoefling@bjoernhoefling.de> 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