Subject: RE: [External] : Re: bug#76055: 29.4; Doc of string-empty-p

From: Drew Adams <[email-masked]>
Date: Thu, 6 Feb 2025 20:19:50 +0000

Please fix the doc for `string-empty-p', at least.
Thx.