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.

Sign up for GitHub

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

Jump to bottom

make -revoked optional #460

Merged
merged 1 commit into from Jan 28, 2024
Merged

make -revoked optional #460

merged 1 commit into from Jan 28, 2024

Conversation

dogancanbakir
Copy link
Member

Closes #459

@dogancanbakir dogancanbakir self-assigned this Jan 25, 2024
@dogancanbakir dogancanbakir linked an issue Jan 25, 2024 that may be closed by this pull request
make -revoked feature optional #459
Closed
@ehsandeep ehsandeep merged commit d10d9d7 into dev Jan 28, 2024
8 checks passed
@ehsandeep ehsandeep deleted the make_revoked_optional branch January 28, 2024 08:59
@chenrui333 chenrui333 mentioned this pull request Jan 28, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ehsandeep ehsandeep ehsandeep approved these changes

@Ice3man543 Ice3man543 Ice3man543 approved these changes

Assignees

@dogancanbakir dogancanbakir

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

make -revoked feature optional
3 participants
@dogancanbakir @ehsandeep @Ice3man543