Re: Automatically set the comment style to what we use

Yao Qi
2017-06-22T15:14:09Z

On Thu, Jun 22, 2017 at 4:04 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> And btw, what about the patch I suggested? Is it OK to push it?

Yes, please.

--
Yao (齐尧)