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.

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

Try to fix Hub bug introduced in #244 #253

Merged
merged 1 commit into from Sep 30, 2019
Merged

Try to fix Hub bug introduced in #244 #253

merged 1 commit into from Sep 30, 2019

Conversation

Jean85
Copy link
Collaborator

@Jean85 Jean85 commented Sep 30, 2019

See #250.

@Jean85 Jean85 self-assigned this Sep 30, 2019
@Jean85 Jean85 mentioned this pull request Sep 30, 2019
Closed
@Jean85
Copy link
Collaborator Author

Jean85 commented Sep 30, 2019

Fix confirmed to be working: #250 (comment)

@Jean85 Jean85 added this to the 3.2 milestone Sep 30, 2019
@Jean85 Jean85 mentioned this pull request Sep 30, 2019
Closed
stayallive
stayallive approved these changes Sep 30, 2019
View reviewed changes
Copy link
Collaborator

@stayallive stayallive left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚢

@Jean85 Jean85 merged commit 0abc664 into master Sep 30, 2019
@Jean85 Jean85 deleted the fix-hub-current-bug branch September 30, 2019 10:39
@Jean85 Jean85 mentioned this pull request Oct 2, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@stayallive stayallive stayallive approved these changes

@HazAT HazAT Awaiting requested review from HazAT

Assignees

@Jean85 Jean85

Labels
Type: Bug
Projects
None yet
Milestone
3.2
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Jean85 @stayallive