Skip to content

Conversation

tsnoam
Copy link
Member

@tsnoam tsnoam commented May 28, 2016

fixes #309

@leandrotoledo leandrotoledo added enhancement 📋 pending-review work status: pending-review labels May 28, 2016
@leandrotoledo leandrotoledo added this to the 4.2 milestone May 28, 2016
@leandrotoledo leandrotoledo self-assigned this May 28, 2016
@leandrotoledo
Copy link
Member

LGTM!

@leandrotoledo leandrotoledo merged commit 32ac617 into master May 28, 2016
@leandrotoledo leandrotoledo deleted the timeout_take2 branch May 28, 2016 18:14
@github-actions github-actions bot locked and limited conversation to collaborators Aug 25, 2020
@Bibo-Joshi Bibo-Joshi added 🔌 enhancement pr description: enhancement and removed enhancement labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
🔌 enhancement pr description: enhancement 📋 pending-review work status: pending-review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Network is unreachable
3 participants