Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rename to remove "ua" #37

Closed
wants to merge 2 commits into from

Conversation

gandrewstone
Copy link
Collaborator

No description provided.

@ftrader
Copy link
Contributor

ftrader commented Jun 6, 2017

I support this.

@deadalnix
Copy link
Contributor

Good.

@sickpig
Copy link
Collaborator

sickpig commented Jun 7, 2017

if nobody will object/rise issue I will merge it by te end of te days (CEST time)

@sickpig sickpig mentioned this pull request Jun 7, 2017
@sickpig
Copy link
Collaborator

sickpig commented Jun 7, 2017

@gandrewstone could you rebase please? (simplest way yo resolve conflict and to avoid clutter the git log history due to manual merge)

@ftrader
Copy link
Contributor

ftrader commented Jun 8, 2017

No need to rebase - has been superceded by PR #46

This one can be closed (abandoned).

@sickpig
Copy link
Collaborator

sickpig commented Jun 8, 2017

superseded by #46
closing

@sickpig sickpig closed this Jun 8, 2017
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.

None yet

4 participants