On 07/18/2013 01:54 AM, Doug Evans wrote: > Note that we're already > using // in code: While it's in /* ... */ comments in, e.g. queue.h because we can't use /* */ inside the comments. -- Yao (é½å°§)