Skip to content

Conversation

zvigrinberg
Copy link
Contributor

Description

Checklist

  • I have followed this repository's contributing guidelines.
  • I will adhere to the project's code of conduct.

Signed-off-by: Zvi Grinberg <zgrinber@redhat.com>
@zvigrinberg zvigrinberg merged commit d92d507 into main Oct 30, 2023
@zvigrinberg zvigrinberg deleted the fix-options-in-python branch October 30, 2023 12:58
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.

1 participant