Subject: Re: bug#56809: file-name-with-extension: Improve docstring.

From: Damien Cassou <[email-masked]>
Date: Thu, 28 Jul 2022 14:01:56 +0200

Eli Zaretskii <[email-masked]> writes:
> Well, the "return" part was supposed to prevent such an
> interpretation.  Moreover, that sentence is just the summary.

Feel free to merge your patch Eli, it's great. I don't want us to keep
discussing on such a tiny detail.

Thank you.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill