I updated my Github username, and some bot is now parked at the old username. I figured I should open a PR to update this. Referring to the PRs (which show _this_ updated username): https://github.com/zed-industries/zed/pull/6786, https://github.com/zed-industries/zed/pull/6995, https://github.com/zed-industries/zed/pull/7331. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| languages/haskell | ||
| src | ||
| Cargo.toml | ||
| extension.toml | ||
| LICENSE-APACHE | ||