Skip to content

Make poll_until private#157

Merged
dtognazzini merged 1 commit intomasterfrom
makePollUntilPrivate
Apr 28, 2016
Merged

Make poll_until private#157
dtognazzini merged 1 commit intomasterfrom
makePollUntilPrivate

Conversation

@dtognazzini
Copy link
Copy Markdown
Contributor

No description provided.

@dtognazzini dtognazzini merged commit 4951607 into master Apr 28, 2016
@dtognazzini dtognazzini deleted the makePollUntilPrivate branch April 28, 2016 08:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant