Subject: Re: [bug#55942] [PATCH 3/3] gnu: serapeum: Update to 0.0.0-7.d2150c6.

From: Guillaume Le Vaillant <[email-masked]>
Date: Tue, 14 Jun 2022 13:59:43 +0000

Patches pushed as 240ac3b75cb5b3140f5d0c917884e6dedee863be and
following.
Thanks.