Skip to content
This repository has been archived by the owner on Mar 10, 2020. It is now read-only.

name API #37

Merged
merged 3 commits into from
Oct 22, 2017
Merged

name API #37

merged 3 commits into from
Oct 22, 2017

Conversation

daviddias
Copy link
Contributor

@daviddias daviddias commented Jun 28, 2016

WIP

@daviddias
Copy link
Contributor Author

@victorbjelkholm I believe you are still on top of this, correct?

@victorb
Copy link
Contributor

victorb commented Nov 8, 2016

@diasdavid it'll take me somewhat before getting to this, so if it's a priority, someone else can pick this up.

@daviddias daviddias merged commit dd2aed0 into master Oct 22, 2017
@daviddias daviddias deleted the name-api branch October 22, 2017 17:34
@ghost ghost removed the ready label Oct 22, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants