Skip to content

Conversation

@Rotzbua
Copy link
Contributor

@Rotzbua Rotzbua commented Jan 10, 2018

redirects but we can use direct link, also https support

@cmaglie cmaglie merged commit 22d2360 into arduino:master Jan 25, 2018
@cmaglie cmaglie added this to the Release 1.8.6 milestone Aug 22, 2018
@Rotzbua Rotzbua deleted the patch-2 branch August 3, 2021 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants