Skip to content

Conversation

@mgttlinger
Copy link
Contributor

No description provided.

@mohsen1
Copy link
Contributor

mohsen1 commented Apr 17, 2015

LGTM
Please run gulp to make a new build in dist.

@mgttlinger
Copy link
Contributor Author

@mohsen1 Should I do this and create a new pull request?

@webron
Copy link
Contributor

webron commented Apr 17, 2015

@mgttlinger - no need. Just do it, push it to your own fork/branch, and it'll become part of this PR.

@fehguy
Copy link
Contributor

fehguy commented Apr 21, 2015

@ponelat can you please look at this?

@fehguy
Copy link
Contributor

fehguy commented Apr 21, 2015

@ponelat my bad, I missed that @mohsen1 already reviewed. Merging.

fehguy added a commit that referenced this pull request Apr 21, 2015
@fehguy fehguy merged commit d76a62c into swagger-api:develop_2.0 Apr 21, 2015
vincent-zurczak pushed a commit to roboconf/swagger-ui that referenced this pull request Aug 19, 2016
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.

4 participants