On Sunday, 15 March 2015 at 14:01:00 UTC, bearophile wrote:
Walter Bright:I'd also prefer to get rid of /+ +/ comments, I thought they'd be more useful than they are.I prefer to get rid of /* */ instead :-) Because /++/ can do things /**/ can't.
+1 And on my keyboard, /++/ is easier than /**/ :-)