Subject: Re: [bug#32551] Update ghc-tasty
From: Arun Isaac <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Tue, 04 Sep 2018 15:30:14 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

> Remember that you can push such patches after a couple of days if you’re
> confident (see ‘HACKING’), or you can ping individuals whom you think
> could provide useful feedback.

Will keep that in mind. Thank you for the review. I have pushed these
patches, along with a few more package updates, to master.