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

?

Jan

Reply via email to