Fix capitalization for ryanlua#717

abdurriq merged 1 commit into

devcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

ryanlua:ryanlua-capitalizationryanlua/devcontainers.github.io:ryanlua-capitalizationCopy head branch name to clipboard