Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Still spicy? #4216

Merged
merged 1 commit into from
Jan 27, 2020
Merged

Still spicy? #4216

merged 1 commit into from
Jan 27, 2020

Conversation

no-reply
Copy link
Contributor

Supersedes #4208.

@samvera/hyrax-code-reviewers

@no-reply no-reply requested a review from mjgiarlo January 25, 2020 01:49
Supersedes #4208.
Copy link
Member

@mjgiarlo mjgiarlo left a comment

Choose a reason for hiding this comment

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

Yes, this is a fine contribution and a reasonable compromise. I appreciate your work on this.

@no-reply no-reply merged commit ba4d8f7 into master Jan 27, 2020
@no-reply no-reply deleted the wyngz branch January 27, 2020 16:42
@no-reply no-reply mentioned this pull request Jan 27, 2020
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.

3 participants