Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
environs/tools: fix data race in getVersionFromJujud #5297
Conversation
|
$$JFDI$$ |
|
Status: merge request accepted. Url: http://juju-ci.vapour.ws:8080/job/github-merge-juju |
jujubot
merged commit b8d61e9
into
juju:master
Apr 28, 2016
davecheney
deleted the
davecheney:fixedbugs/1575472
branch
Apr 28, 2016
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
davecheney commentedApr 28, 2016
•
Edited 1 time
-
ericsnowcurrently
Apr 28, 2016
Fixes LP #1575472
(Review request: http://reviews.vapour.ws/r/4723/)