Subject: Re: [bug#61915] [PATCH 0/4] Update Agda to 2.6.3

From: Josselin Poiret <[email-masked]>
Date: Fri, 03 Mar 2023 17:24:27 +0100

Hi Simon,

Simon Tournier <[email-masked]> writes:

> Hi Josselin,
>
> It seems some duplicate work with #61848 [1] from Monday.
>
> Maybe the two series could be merged.  WDYT?

My bad, completely missed this one.  I'm not too familiar with the
reasonning behind keeping [email-masked] around in that other patchset, but
I'll have a look there soon.

Best,
-- 
Josselin Poiret