On 14.08.2020 21:18, Julien Grall wrote: > On 31/07/2020 12:41, Jan Beulich wrote: >> On 30.07.2020 20:18, Julien Grall wrote: >>> From: Julien Grall <[email protected]> >>> >>> * Add space before and after operator >>> * Align \ >>> * Format comments >> >> How about also >> >> * remove/replace leading underscores >> >> ? > > I don't have any plan for this. You are welcome to send a patch for this.
In which case may I ask that you replace "Fix" by "Improve" or some such in the title? Jan
