K 10
svn:author
V 8
pizzamig
K 8
svn:date
V 27
2020-02-09T11:59:54.942107Z
K 7
svn:log
V 187
editors/vscode: fix a patch rename

A patch moved from extra-patch to patch and this change went lost.
Fix it.

PR:		243994
Submitted by:	maintainer (via github)
Reported by:	Robert Cina

END