Hi Daniel, I believe this is fixed in 1d4e6ee, which will be in 2.0.7.
I’ll reply to your suggestion on guile-devel. Thanks! Ludo’.
Hi Daniel, I believe this is fixed in 1d4e6ee, which will be in 2.0.7.
I’ll reply to your suggestion on guile-devel. Thanks! Ludo’.