Subject: Re: [bug#31582] [PATCH v2 8/8] gnu: Add git-annex.

From: [email-masked] (Ludovic Courtès)
Date: Fri, 01 Jun 2018 10:36:48 +0200

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’.