Subject: Re: bug#27275: [PATCH 1/2] pull: Add a dependency to guile-git.
From: Mathieu Othacehe <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Fri, 09 Jun 2017 09:51:23 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

> OK for this or the variant that uses ‘match’.

Just pushed the two patches as 6b7b3ca98 and 19c90e5f6.

Thanks,

Mathieu