Skip to content

Conversation

@sposmen
Copy link
Contributor

@sposmen sposmen commented Mar 1, 2013

Here is the suggested code that was implemented and is related to #1

@mceachen
Copy link
Collaborator

Ah, gee whiz, I didn't see this until just now. Pulling now.

@mceachen mceachen merged commit 50325e1 into ClosureTree:master Jun 22, 2013
joao-esteves referenced this pull request Aug 25, 2025
…hether the lock had been acquired for the request.
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.

2 participants