Skip to content

Conversation

@tobrun
Copy link
Member

@tobrun tobrun commented May 9, 2019

Closes #934

@tobrun tobrun added this to the annotations-0.7.0 milestone May 9, 2019
@tobrun tobrun self-assigned this May 9, 2019
@tobrun tobrun marked this pull request as ready for review May 9, 2019 20:58
@tobrun tobrun requested a review from LukasPaczos May 9, 2019 20:58
@tobrun tobrun force-pushed the tvn-custom-data-annotation branch from 1d7faf9 to c5466d8 Compare May 16, 2019 12:52
@tobrun tobrun merged commit b5d6fd4 into master May 16, 2019
@tobrun tobrun deleted the tvn-custom-data-annotation branch May 16, 2019 13:07
@langsmith
Copy link
Contributor

cc @zestyping

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Allow custom data (or tag, or JSON) attached to symbols and other annotations

3 participants