Merge branch 'dev' into close-file-shortcut

Author: Warren Buckley

.github/workflows/richcodenav.yml

@@ -37,7 +37,7 @@ jobs:
       working-directory: LogViewer.Client
       run: npm install
 
-    - uses: microsoft/RichCodeNavIndexer@v0.1.9
+    - uses: microsoft/RichCodeNavIndexer@v0.1
       with:
         repo-token: ${{ secrets.GITHUB_TOKEN }}
         languages: csharp,typescript