Subject: Re: [PATCH java-team v2] gnu: ant: Update to 1.10.15.

From: Andreas Enge <[email-masked]>
Date: Mon, 4 Aug 2025 17:18:00 +0200

This has actually only one direct dependent, which compiles with the
change; adding it to the world-rebuild branch.

Andreas