Skip to content

Conversation

@bb03
Copy link
Contributor

@bb03 bb03 commented Nov 12, 2019

So, there are a couple other PRs open that address the same file. We should merge those first and I'll fix the conflicts here

nwang92
nwang92 previously approved these changes Nov 12, 2019
@nwang92
Copy link
Contributor

nwang92 commented Nov 19, 2019

Merging this with admin rights because it's just docs

@nwang92 nwang92 merged commit 370a5c1 into develop Nov 19, 2019
@nwang92 nwang92 deleted the fix_app_install_docs branch November 19, 2019 06:10
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