Skip to content

Add Linux Mint to supported distros#834

Merged
fwsGonzo merged 1 commit intoincludeos:masterfrom
h4tr3d:master
Sep 28, 2016
Merged

Add Linux Mint to supported distros#834
fwsGonzo merged 1 commit intoincludeos:masterfrom
h4tr3d:master

Conversation

@h4tr3d
Copy link
Copy Markdown
Contributor

@h4tr3d h4tr3d commented Sep 22, 2016

Linux Mint binary and packet-compatible with Ubuntu, so it can be simple handled as Ubuntu.

Linux Mint binary and packet-compatible with Ubuntu, so it can be simple handled as Ubuntu.
@jenkins-includeos
Copy link
Copy Markdown

Can one of the admins verify this patch with one of the following commands:

  • "test please" for a one time test run
  • "ok to test" to accept latest and future commits on this pull request for testing
  • "add to whitelist" to add the author to the whitelist

@fwsGonzo fwsGonzo merged commit b923391 into includeos:master Sep 28, 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.

3 participants