Hi, Thien-Thi Nguyen <t...@gnuvola.org> writes:
> Revised proposal: Let's decide one way or the other, To me it’s clear: status quo, i.e., no ‘whitespace-cleanup’ or similar all around, but encourage people not to leave trailing whitespace. Thanks, Ludo’.