Ekaitz at ElenQ Technology <ekaitz@elenq.tech> writes:

> From 334e9ab5a24a07acb96a72393de27169c06ea5dd Mon Sep 17 00:00:00 2001
> From: =?UTF-8?q?Ekaitz=20Z=C3=A1rraga?= <ekaitz.zarraga@protonmail.com>
> Date: Wed, 30 Oct 2019 16:09:59 +0100
> Subject: [PATCH] Update Chibi-Scheme to 0.8 version

Thanks!  I pushed this in cf822f4d921265ae144ea498b47801d83c1c8bc4 with
a commit message that follows our conventions.

(I also pushed a follow-up patch that changes from the auto-generated
GitHub tarball to a git source archive.  The reason is that GitHub
occasionally generates a new tarball, with different timestamps; but git
checkouts are deterministic.)