On 2020-11-11 12:43, Vik Fearing wrote:
> No objections, but could we also take this opportunity to standardize
> the comment itself? Even in your patch there is a mix of spacing and
> casing.
>
> My preference is /* EMPTY */. That is, uppercase with spaces, but
> whatever gets chosen is fine with me.
Looks like /*EMPTY*/ is the most common right now. I agree this should
be straightened out.