bug#23902: 25.1.50; Strange warning on string-collate-equalp's docstring

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: oscarfv@telefonica.net,  23902-done@debbugs.gnu.org
> Date: Fri, 08 Jul 2016 22:59:25 +0200
> 
> Are the spaces before the closing comment delimiter (delimiting
> the docstring) significant?

You mean, before the closing "*/" ?  No, these are not significant.

> When not, why are they used?

To keep C comments in their usual GNU C style, I suppose.