[nongnu] branch scratch/editorconfig deleted (was 25024dee2e)

[Stefan Monnier via]

monnier pushed a change to branch scratch/editorconfig.

       was  25024dee2e WiP

This change permanently discards the following revisions:

  discards  25024dee2e WiP