Re: Automatically set the comment style to what we use

Eli Zaretskii
2017-06-22T15:04:23Z

And btw, what about the patch I suggested? Is it OK to push it?