Skip to content
This repository has been archived by the owner on Aug 8, 2024. It is now read-only.

fix flag max-misses not defined error #150

Merged
merged 1 commit into from
Apr 17, 2024
Merged

fix flag max-misses not defined error #150

merged 1 commit into from
Apr 17, 2024

Conversation

dahn510
Copy link
Member

@dahn510 dahn510 commented Apr 17, 2024

fix flag accessed but not defined: max-misses error when jprovd prune is used

@dahn510 dahn510 added the bug Something isn't working label Apr 17, 2024
@dahn510 dahn510 self-assigned this Apr 17, 2024
@TheMarstonConnell TheMarstonConnell merged commit e60ba10 into main Apr 17, 2024
5 checks passed
@TheMarstonConnell TheMarstonConnell deleted the fix-max-misses-flag-not-defined-error branch April 17, 2024 12:42
@dahn510 dahn510 restored the fix-max-misses-flag-not-defined-error branch April 17, 2024 21:14
@dahn510 dahn510 deleted the fix-max-misses-flag-not-defined-error branch April 18, 2024 04:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@TheMarstonConnell TheMarstonConnell TheMarstonConnell approved these changes

Assignees

@dahn510 dahn510

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dahn510 @TheMarstonConnell