Subject: Re: [bug#31582] [PATCH v2 8/8] gnu: Add git-annex.
From: [email-masked] (Ludovic Courtès)
To: Timothy Sample <[email-masked]>
Cc: [email-masked], Christopher Lemmer Webber <[email-masked]>
Date: Fri, 01 Jun 2018 10:36:48 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Timothy & Chris,

Since Chris said it’s OK and it builds fine for me, I went ahead and
committed the whole series.

Thank you!

Ludo’.