Subject: Re: [bug#37993] [PATCH] Update Chibi-Scheme to 0.8 version

From: Marius Bakke <[email-masked]>
Date: Fri, 01 Nov 2019 00:22:41 +0100

Ekaitz at ElenQ Technology <[email-masked]> writes:

> From 334e9ab5a24a07acb96a72393de27169c06ea5dd Mon Sep 17 00:00:00 2001
> From: =?UTF-8?q?Ekaitz=20Z=C3=A1rraga?= <[email-masked]>
> 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.)