Subject: Re: bug#63094: [PATCH 0/5] gnu: Fix build of some maven packages.
From: Ludovic Courtès <[email-masked]>
To: Aleksandr Vityazev <[email-masked]>
Cc: [email-masked]
Date: Fri, 28 Apr 2023 21:06:40 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Aleksandr Vityazev <[email-masked]> skribis:

> gnu: maven-embedder: Fix build.
> gnu: maven-core-bootstrap: Fix build.
> gnu: maven-resolver-provider: Fix build.
> gnu: maven-model-builder: Fix build.
> gnu: maven-settings-builder: Fix build.

Applied, thanks.  It might be worth factorizing as has been proposed in
<https://issues.guix.gnu.org/63145>.

Thanks,
Ludo’.