> From: Ship Mints <shipmints@gmail.com>
> Date: Mon, 16 Dec 2024 12:51:14 -0500
> Cc: rudalics@gmx.at, 74750@debbugs.gnu.org
>
> Updated patch with docstring amendments.

Thanks, but since martin already installed the previous patch, we now
need only the followup changes.