Open gossi opened 9 years ago
When adding blanks, some can be added twice, because of different options. Remove those doubly added blanks in a sanitizer that runs in the post-processing of the formatter.
When adding blanks, some can be added twice, because of different options. Remove those doubly added blanks in a sanitizer that runs in the post-processing of the formatter.