update editor plugins#1275

fhammerschmidt merged 1 commit intorescript-lang:masterrescript-lang/rescript-lang.org:masterfrom

aspeddro:update-editor-plugin-pageaspeddro/rescript-lang.org:update-editor-plugin-pageCopy head branch name to clipboard