Subject: bug#76055: 29.4; Doc of string-empty-p

From: Eli Zaretskii <[email-masked]>
Date: Fri, 07 Feb 2025 09:17:29 +0200

> From: Drew Adams <[email-masked]>
> CC: "[email-masked]" <[email-masked]>
> Date: Thu, 6 Feb 2025 20:19:50 +0000
> 
> Please fix the doc for `string-empty-p', at least.

As I said, I don't think it's needed.

I didn't yet hear any opinions supporting your request.