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

vendor: Update github.com/gobwas/glob (fixes #3174) #3207

Closed
wants to merge 2 commits into from
Closed

vendor: Update github.com/gobwas/glob (fixes #3174) #3207

wants to merge 2 commits into from

Conversation

calmh
Copy link
Member

@calmh calmh commented May 28, 2016

Purpose

The issue has been fixed in a branch upstream, using that for now.

Testing

Passes our tests, I added one for the issue as well.

@calmh
Copy link
Member Author

calmh commented May 28, 2016

@st-review merge this please

@st-review
Copy link

@calmh: Build status is pending. I'll wait until it goes green and then merge!

@st-review
Copy link

👌 Merged as 4453236. Thanks, @calmh!

@st-review st-review closed this May 28, 2016
st-review pushed a commit that referenced this pull request May 28, 2016
@calmh calmh deleted the updateglob branch June 2, 2016 13:09
@st-review st-review added the frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion label Jun 16, 2017
@syncthing syncthing locked and limited conversation to collaborators Jun 16, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants