Subject: Re: [PATCH 2/2] gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
From: Ricardo Wurmus <[email-masked]>
To: Robert Vollmert <[email-masked]>
Cc: [email-masked]
Date: Thu, 04 Jul 2019 17:45:03 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Robert,

I pushed these both to core-updates after modifications to the commit
message.

Thanks!

-- 
Ricardo