Skip to content
This repository has been archived by the owner. It is now read-only.

new version for pc-networkmanager #33

Closed
wants to merge 1 commit into from

Conversation

Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@shithead
Copy link

@shithead shithead commented Oct 7, 2019

pc-networkmanager was updated on 2019-07-31 but is not in upgrade process.

@beanpole135
Copy link
Member

@beanpole135 beanpole135 commented Oct 7, 2019

This PR does not have the distinfo update neccessary to update the port successfully.
I went ahead and did the re-sync of the pc-networkmanager for you here: 195a995

Thank you for pointing that out!

@beanpole135 beanpole135 closed this Oct 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.