Subject: Re: [PATCH 00/45] Stackage update to 18.14
From: Lars-Dominik Braun <[email-masked]>
To: [email-masked]
Date: Tue, 2 Nov 2021 19:01:56 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

I merged this change as commit 5e8b18dbb1632ad1b5f297308960989088985db0 and earlier.

Cheers,
Lars