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

Support searches among multiple archs #1

Merged
merged 1 commit into from Jan 13, 2020
Merged

Support searches among multiple archs #1

merged 1 commit into from Jan 13, 2020

Conversation

@calmh
Copy link
Contributor

calmh commented Jan 13, 2020

@jdel
jdel approved these changes Jan 13, 2020
Copy link
Owner

jdel left a comment

Thanks for the PR. Much appreciated.

@jdel jdel merged commit 20de5fc into jdel:master Jan 13, 2020
1 check passed
1 check passed
Travis CI - Pull Request Build Passed
Details
@calmh

This comment has been minimized.

Copy link
Contributor Author

calmh commented Jan 13, 2020

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.