Brett,

Brett Gilio 写道：
> [PATCH 1/2] gnu: polyml: Update to 5.8.
> [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.

Pushed as 8717fb8d5f30915999869e80782ae0fcf1c6698d et al.

You opened two separate bugs for this series, which was probably 
not your intention.

You can avoid this by sending a ‘cover letter’ (which can be 
whatever you want) to guix-patches@, waiting for the response, and 
then doing something like ‘git send-email to=nnnn@debbugs.gnu.org 
…’ to send the actual patches.

Thanks!

T G-R