Skip to content

Conversation

@realark
Copy link
Contributor

@realark realark commented Jan 11, 2018

No description provided.

@realark realark added the tag: do not merge Do not merge changes label Jan 11, 2018
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These package names will need to be updated to merge to master, but should be fine for a patch release.

@tylerbenson tylerbenson added type: bug Bug report and fix inst: others All other instrumentations and removed tag: do not merge Do not merge changes labels Jan 17, 2018
@tylerbenson tylerbenson merged commit d70c00f into master Jan 17, 2018
@tylerbenson tylerbenson deleted the ark/fix_helpers branch January 17, 2018 16:57
@tylerbenson tylerbenson added this to the 0.3.0 milestone Jan 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

inst: others All other instrumentations type: bug Bug report and fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants