Skip to content
This repository has been archived by the owner on Mar 30, 2022. It is now read-only.

Add Ubuntu 20.04 toolchain to download page #535

Merged
merged 6 commits into from
Sep 15, 2020
Merged

Conversation

marcrasi
Copy link
Contributor

No description provided.

@marcrasi marcrasi requested a review from ematejska September 14, 2020 23:24
@marcrasi marcrasi merged commit 16cde1b into master Sep 15, 2020
@marcrasi marcrasi deleted the marcrasi-patch-1 branch September 15, 2020 21:20
@marcrasi marcrasi mentioned this pull request Sep 15, 2020
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants