remove extraneous line #7170

Merged
merged 1 commit into from Mar 29, 2017

Conversation

Projects
None yet
3 participants
Contributor

mwhudson commented Mar 29, 2017

just a typo, i assume?

Contributor

mwhudson commented Mar 29, 2017

$$merge$$

Owner

wallyworld commented Mar 29, 2017

$$merge$$

Contributor

jujubot commented Mar 29, 2017

Status: merge request accepted. Url: http://juju-ci.vapour.ws:8080/job/github-merge-juju

@jujubot jujubot merged commit 69d526d into juju:develop Mar 29, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment