Skip to content
This repository has been archived by the owner on Jul 5, 2019. It is now read-only.

report suggestions for bad identifiers #30

Open
hredestig opened this issue Sep 5, 2017 · 0 comments
Open

report suggestions for bad identifiers #30

hredestig opened this issue Sep 5, 2017 · 0 comments

Comments

@hredestig
Copy link
Contributor

Currently, upload tool fails identifiers that are unknown. Add suggestions for correct identifiers in the error message.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants