Skip to content
This repository has been archived by the owner on Oct 3, 2023. It is now read-only.

Remove a stale TODO. #134

Merged
merged 1 commit into from
Oct 9, 2018
Merged

Conversation

songy23
Copy link
Contributor

@songy23 songy23 commented Oct 9, 2018

As a follow-up of #132.

@songy23 songy23 merged commit f7dc453 into census-instrumentation:master Oct 9, 2018
@songy23 songy23 deleted the remove-todo branch October 9, 2018 18:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants