Skip to content
This repository has been archived by the owner on Mar 15, 2024. It is now read-only.

Comparator to flag invalid names of features #141

Merged
merged 3 commits into from
Apr 10, 2017
Merged

Comparator to flag invalid names of features #141

merged 3 commits into from
Apr 10, 2017

Conversation

bkowshik
Copy link
Contributor

@bkowshik bkowshik commented Apr 5, 2017

Makes progress on: #133

@bkowshik bkowshik requested a review from amishas157 April 5, 2017 08:35
@amishas157
Copy link
Contributor

@bkowshik this looks good to me 🎉

@bkowshik bkowshik merged commit 79410cf into master Apr 10, 2017
@bkowshik bkowshik deleted the invalid-name branch April 10, 2017 06:37
@cesine cesine mentioned this pull request Jul 13, 2020
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@amishas157 amishas157 Awaiting requested review from amishas157

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bkowshik @amishas157