Am So., 12. Juli 2020 um 00:20 Uhr schrieb Alex Shinn <xxxxxx@gmail.com>: > This was fixed a month ago: > https://github.com/ashinn/chibi-scheme/commit/06cef557234d6fe985e3ba1609369e389750ca49 Ah, perfect. Then Wolfgang should update his Chibi installation. :) Marc