Re: RFC: flicker-free double-buffered Emacs under X11

[Paul Eggert]

Eli Zaretskii wrote:
> Please note that we already have "//" comments in a few places, so if
> we don't yet want to allow them, we should remove those.

OK, I did that in the emacs-25 and master branches. If we start adding these 
comments, I suggest limiting them to code in the master branch and making the 
style change a conscious decision (e.g., when should code use "/*" vs "//" 
comments?).