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.