diff options
| author | Richard Höchenberger <richard.hoechenberger@gmail.com> | 2023-10-18 02:45:04 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-18 02:45:04 +0300 |
| commit | 1155a9906b3324617d3e491f2f01b0175e43b522 (patch) | |
| tree | 219c7230001f3db7cf21a572553a97e5c4a59ef9 /.devcontainer.json | |
| parent | 36a3604b90762307dddd1ff2b89387f84b6ec66c (diff) | |
Try connecting to Ubuntu keyserver on port 80 if default HKP port fails (#722)feature_ruby_1.1.2feature_python_1.3.1feature_powershell_1.1.1feature_kubectl-helm-minikube_1.1.5feature_github-cli_1.0.11feature_git_1.1.6feature_git-lfs_1.1.1
* Try Ubuntu keyserver on port 80 if default HKP port fails
Closes #719
Closes #717
* Bump feature versions
---------
Co-authored-by: Samruddhi Khandale <skhandale@microsoft.com>
Diffstat (limited to '.devcontainer.json')
0 files changed, 0 insertions, 0 deletions