Skip to content

Use NonEmpty for group operations#74

Merged
garyb merged 1 commit into
masterfrom
nonempty
Oct 9, 2016
Merged

Use NonEmpty for group operations#74
garyb merged 1 commit into
masterfrom
nonempty

Conversation

@garyb

@garyb garyb commented Oct 9, 2016

Copy link
Copy Markdown
Member

No description provided.

@garyb garyb merged commit d3b0ab0 into master Oct 9, 2016
@garyb garyb deleted the nonempty branch October 9, 2016 21:56
@sharkdp

sharkdp commented Oct 10, 2016

Copy link
Copy Markdown
Contributor

Cool, thanks!

@garyb

garyb commented Oct 10, 2016

Copy link
Copy Markdown
Member Author

Thanks for the suggestion to do so!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants