Skip to content

Merge 'master' into 'develop' #1576

Merged
jgsogo merged 7 commits into
developfrom
master
Mar 4, 2020
Merged

Merge 'master' into 'develop' #1576
jgsogo merged 7 commits into
developfrom
master

Conversation

@jgsogo
Copy link
Copy Markdown
Contributor

@jgsogo jgsogo commented Mar 4, 2020

No description provided.

uilianries and others added 7 commits February 18, 2020 13:17
* #1562 Update tools.download

Signed-off-by: Uilian Ries <uilianries@gmail.com>

* #1562 Update tools.download default retry

Signed-off-by: Uilian Ries <uilianries@gmail.com>
* Fixed redirected links

* Increased timout, retries and workers for linkcheck
Co-authored-by: carpanla <55807920+carpanla@users.noreply.github.com>
Co-authored-by: carpanla <55807920+carpanla@users.noreply.github.com>
* update version

* change version

* fix version
@jgsogo jgsogo merged commit b274c47 into develop Mar 4, 2020
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.

5 participants