Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

nano: update to 5.5. #27948

Merged
merged 1 commit into from Jan 15, 2021
Merged

nano: update to 5.5. #27948

merged 1 commit into from Jan 15, 2021

Conversation

mobinmob
Copy link
Contributor

No description provided.

@abenson
Copy link
Contributor

abenson commented Jan 15, 2021

Looks like CI got caught up in the DNS issues from earlier. Builds fine

@abenson abenson merged commit e7367cc into void-linux:master Jan 15, 2021
@mobinmob mobinmob deleted the nano branch January 15, 2021 19:11
@mobinmob
Copy link
Contributor Author

Looks like CI got caught up in the DNS issues from earlier. Builds fine

Yes, it happened with other PRs also. I will rebase and force-push.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 16, 2021
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