diff --git a/extensions/Linter b/extensions/Linter index 9e67584cf6d..40e73c50775 160000 --- a/extensions/Linter +++ b/extensions/Linter @@ -1 +1 @@ -Subproject commit 9e67584cf6da534a97142079eeadcb991ab06017 +Subproject commit 40e73c507756386ec3d8fd7f18371cfa3d85c93d