[changes] Update changelog for .mv activation bug.

Thanks to Théo for the suggestion.
ejgallego · Nov 22, 2023 · 8f3699d · 8f3699d
1 parent 8e8fc5a
commit 8f3699d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -10,9 +10,9 @@
  - fix hover position computation on the presence of Utf characters
    (@ejgallego, #597, thanks to Pierre Courtieu for the report and
    example, closes #594)
- - workaround seemingly VSCode activation bug that prevented extension
-   activation (@ejgallego @r3m0t, #598, cc #596, reported by Théo
-   Zimmerman)
+ - fix activation bug that prevented extension activation for `.mv`
+   files, see discussion in the issues about the upstream policy
+   (@ejgallego @r3m0t, #598, cc #596, reported by Théo Zimmerman)
  - require VSCode >= 1.82 in package.json . Our VSCode extension uses
    `vscode-languageclient` 9 which imposes this. (@ejgallego, #599,
    thanks to Théo Zimmerman for the report)