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.

Sign up for GitHub

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

Jump to bottom

fresh name generation #190

Open
bixuanzju opened this issue Jun 4, 2015 · 4 comments
Open

fresh name generation #190

bixuanzju opened this issue Jun 4, 2015 · 4 comments
Assignees
@zhiyuanshi
Labels
blocker ready

Comments

@bixuanzju
Copy link
Contributor

Elaborator needs to generate fresh names
@brunocdsoliveira
Copy link

why is this issue (which is a blocker!) not solved yet ... It seems to me that adding fresh name generation should be something that takes 5 minutes to fix. Or is there something that I am missing?

@bixuanzju
Copy link
Contributor Author

@zhiyuanshi Are you working on that?

@zhiyuanshi
Copy link

I'm working on that.

@bixuanzju
Copy link
Contributor Author

@zhiyuanshi What is the status?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@zhiyuanshi zhiyuanshi

Labels
blocker ready
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@bixuanzju @zhiyuanshi @brunocdsoliveira