Svante Signell <svante.sign...@gmail.com> writes: > On Thu, 2019-08-22 at 17:01 -0400, Mark H Weaver wrote: >> It looks like this issue was already fixed in Guile 2.0.14, by commit >> f2764cb1031379c47a17c02fef3f8164a6ce9cda on the 'stable-2.0' branch: >> >> https://git.savannah.gnu.org/cgit/guile.git/commit/?h=stable-2.0&id=f2764cb1031379c47a17c02fef3f8164a6ce9cda >> >> Would you like to try it and report back? > > Thank you, that commit fixed the problem. Reported to Debian version > 2.0.13+1-5.1 as bug #935505, see > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935505
Great, thanks for letting us know. I'm closing this bug now. Regards, Mark