Subject: bug#79161: [PATCH] Improve Vprint_variable_mapping

From: Eli Zaretskii <[email-masked]>
Date: Thu, 07 Aug 2025 16:15:42 +0300

> From: zach shaftel <[email-masked]>
> Cc: Stefan Monnier <[email-masked]>,  [email-masked]
> Date: Mon, 04 Aug 2025 16:25:28 -0400
> 
> i forgot to update the manual, a revised patch is attached.

Thanks.  Stefan, would you please take a look and tell what you think
about this?