Closed waldyrious closed 6 years ago
also harmonize whitespace (use spaces after commas consistently) and capitalize existing comments to match the new ones.
also harmonize whitespace (use spaces after commas consistently) and capitalize existing comments to match the new ones.