"chore: fix EditorConfig lint errors (issue #6615)".#6618

GURUPRASADSHARMA wants to merge 1 commit intostdlib-js:developstdlib-js/stdlib:developfrom

GURUPRASADSHARMA:patch-2GURUPRASADSHARMA/stdlib:patch-2Copy head branch name to clipboard