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

Add functions to enumerate Drivers #251

Merged
merged 1 commit into from
May 19, 2022

Conversation

ttencate
Copy link
Contributor

  • I agree to follow the project's code of conduct.
  • I added an entry to CHANGES.md if knowledge of this change could be valuable to users.

@ttencate ttencate force-pushed the feature/enumerate_drivers branch from a6c1a0b to e829638 Compare January 27, 2022 15:38
@ttencate ttencate mentioned this pull request Jan 27, 2022
2 tasks
@ttencate ttencate force-pushed the feature/enumerate_drivers branch 2 times, most recently from bdf0cb5 to 0ecfaf4 Compare February 1, 2022 12:54
@jdroenner
Copy link
Member

i think we should merge this next. could you fix the merge conflict?

@ttencate ttencate force-pushed the feature/enumerate_drivers branch from 0ecfaf4 to 947e7e9 Compare May 19, 2022 17:05
@ttencate
Copy link
Contributor Author

Fixed!

@lnicola
Copy link
Member

lnicola commented May 19, 2022

bors r=jdroenner,lnicola

@bors
Copy link
Contributor

bors bot commented May 19, 2022

Build succeeded:

@bors bors bot merged commit 16230bd into georust:master May 19, 2022
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.

3 participants