diff options
| -rw-r--r-- | docs/user/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/user/README.md b/docs/user/README.md index 5101e49b8..6d92359e2 100644 --- a/docs/user/README.md +++ b/docs/user/README.md | |||
| @@ -59,7 +59,7 @@ invoke via <kbd>Ctrl+Shift+P</kbd> or bind to a shortcut. See [./features.md](./ | |||
| 59 | for details. | 59 | for details. |
| 60 | 60 | ||
| 61 | For updates, pull the latest changes from the master branch, run `cargo install-ra` again, and **restart** VS Code instance. | 61 | For updates, pull the latest changes from the master branch, run `cargo install-ra` again, and **restart** VS Code instance. |
| 62 | See https://github.com/microsoft/vscode/issues/72308[microsoft/vscode#72308] for why a full restart is needed. | 62 | See [microsoft/vscode#72308](https://github.com/microsoft/vscode/issues/72308) for why a full restart is needed. |
| 63 | 63 | ||
| 64 | ### Settings | 64 | ### Settings |
| 65 | 65 | ||