[nongnu] branch scratch/editorconfig created (now 25024dee2e)

[Stefan Monnier via]

monnier pushed a change to branch scratch/editorconfig.

        at  25024dee2e WiP

This branch includes the following new commits:

       new  25024dee2e WiP