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

update latest to focal too #179

Merged
merged 1 commit into from Apr 23, 2020
Merged

Conversation

mwhudson
Copy link
Collaborator

No description provided.

@tianon tianon merged commit 5437296 into tianon:master Apr 23, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants