On Sun, Jul 12, 2020 at 12:30 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

So we are still missing:

7) Chibi reverts
https://github.com/ashinn/chibi-scheme/commit/28148e52b7f178cc4336b775bdc14dd6adbc0330.

This was fixed a month ago:
https://github.com/ashinn/chibi-scheme/commit/06cef557234d6fe985e3ba1609369e389750ca49

--
Alex