Subject: Re: [bug#38968] [PATCH] gnu: Add ghc-pipes.
From: Brett Gilio <[email-masked]>
To: Alexandru-Sergiu Marton <[email-masked]>
Cc: Alexandru-Sergiu Marton <[email-masked]>, [email-masked]
Date: Tue, 07 Jan 2020 13:27:56 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Sergiu! I have pushed this to master with
4639fa325c212eec7e2d45693d1ddf04287c316a. I also included a revision
using HTTPS for the home-page.

Thanks! Closing.
-- 
Brett M. Gilio
GNU Guix, Contributor | GNU Project, Webmaster
[DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]
<[email-masked]> <[email-masked]>