Skip to content

Conversation

@mica-angeli
Copy link

@mica-angeli mica-angeli commented Feb 7, 2020

Proposed changes

Replaced apt-get with apt in Ubuntu install instructions.

Unreleased project version (optional)

Related issues (optional)

@mica-angeli mica-angeli requested a review from thaJeztah February 7, 2020 23:01
Copy link
Member

@thaJeztah thaJeztah left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think we should change this; see the discussion on #8135 for some background

@usha-mandya
Copy link
Member

@rangeli Thank you for taking the time to update our docs. Unfortunately, we won't be able to merge your changes due to the reasons mentioned in #8135. Thanks again for your feedback. We hope to see more PRs from you. :)

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.

3 participants