Thank you. Sorry for the weird commit message. All the best, Ekaitz ElenQ Technology Ethical Innovation ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Friday, November 1, 2019 12:22 AM, Marius Bakke wrote: > 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.)