Skip to content

Rename completition to completion#743

Merged
ascobie merged 1 commit intomasterfrom
bugfix/rename-completition
Oct 5, 2017
Merged

Rename completition to completion#743
ascobie merged 1 commit intomasterfrom
bugfix/rename-completition

Conversation

@ascobie
Copy link
Member

@ascobie ascobie commented Oct 5, 2017

Fix #742

@ascobie ascobie self-assigned this Oct 5, 2017
@ascobie ascobie requested a review from timotheeguerin October 5, 2017 01:22
@ascobie ascobie merged commit 6c01d9f into master Oct 5, 2017
@ascobie ascobie deleted the bugfix/rename-completition branch October 5, 2017 01:38
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