Subject: Re: bug#57377: [PATCH] api-coverage.texi: fix example, remove mentions of unimplemented features
From: Ludovic Courtès <[email-masked]>
To: Antoine Kalmbach <[email-masked]>
Cc: [email-masked]
Date: Sat, 01 Oct 2022 15:57:46 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Antoine,

Antoine Kalmbach <[email-masked]> skribis:

> * doc/ref/api-coverage.texi (Code Coverage): #:modules is not
>   supported... never seems to have been supported?
>   (example): close port, not file.

In commit 4456245753ff925cafd3e72d130761b6f1c2c419, Jessica Talon added
support for #:modules.

I applied the fix for the typo you found in the example, though.

Thank you!

Ludo’.