Skip to content

Conversation

@nickelsen
Copy link
Collaborator

Small change. I prefer to do everything in PRs, so everyone watching sees what goes into master.

@dsjoerg
Copy link
Member

dsjoerg commented Apr 20, 2016

great!

@dsjoerg dsjoerg merged commit 14a0abd into master Apr 20, 2016
@nickelsen nickelsen deleted the add_ai_identities_during_install branch April 27, 2016 10:54
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