Skip to content

Replace jmdns with latest version. #655

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.

Sign up for GitHub

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

Jump to bottom
Closed
wimjongman opened this issue Feb 8, 2017 · 4 comments
Closed

Replace jmdns with latest version. #655

wimjongman opened this issue Feb 8, 2017 · 4 comments
Assignees
@wimjongman
Labels
importance: improvement request importance: internal stuff importance: no user impact status: fixed in 4.2

Comments

@wimjongman
Copy link
Member

Seeing: jmdns/jmdns#34
@jantje
Copy link
Member

jantje commented Mar 6, 2017

Is this done or "doto"?

@wimjongman wimjongman mentioned this issue Oct 17, 2017
Closed
@wimjongman
Copy link
Member Author

See also #848 (closed as duplicate)

@wimjongman
Copy link
Member Author

I have updated to the latest jmdns. I will put in a pull request which could then be picked up from travis before final merging this.

jantje added a commit that referenced this issue Oct 18, 2017
@jantje
Merge pull request #849 from wimjongman/master
b194b1b 
#655 Update to latest jmdns
@jantje
Copy link
Member

jantje commented Oct 20, 2017

This can be closed as it is in the nightly now.

@jantje jantje closed this as completed Oct 20, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wimjongman wimjongman

Labels
importance: improvement request importance: internal stuff importance: no user impact status: fixed in 4.2
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wimjongman @jantje