Closed alexander-yakushev closed 2 weeks ago
Leaving this unmerged for now, let it just hang until we confirm that people are OK with the new non-spacious printing being the default.
As expected, nobody is noticing this change. Let's remove it.
Leaving this unmerged for now, let it just hang until we confirm that people are OK with the new non-spacious printing being the default.