Add timeout to GitHub update-check HTTP client#201

jrozner merged 1 commit into

mainashirt-ops/aterm:mainfrom

worktree-outstanding-issuesashirt-ops/aterm:worktree-outstanding-issuesCopy head branch name to clipboard