Closed rillig closed 2 years ago
Various changes to make the code easier to read and more to the point. No functional change. If these changes make the code harder to read for you, feel free to reject my suggestions.
Various changes to make the code easier to read and more to the point. No functional change. If these changes make the code harder to read for you, feel free to reject my suggestions.