Skip to content

bugfix with stopping#1820

Merged
APJansen merged 1 commit into
masterfrom
fix-stopping-bug
Oct 18, 2023
Merged

bugfix with stopping#1820
APJansen merged 1 commit into
masterfrom
fix-stopping-bug

Conversation

@APJansen
Copy link
Copy Markdown
Collaborator

Fix for a bug introduced in #1792 for hyperoptimization, I prepended an underscore to some attributes I thought were only used in the class, but they are actually used in hyperoptimization.

Please also delete the branch fix-stopping-patience-bug, which I accidentally based on a branch other than master.

…o public as they are used during hyperoptimization
@APJansen APJansen added the bug Something isn't working label Oct 18, 2023
@APJansen APJansen requested a review from scarlehoff October 18, 2023 09:16
@RoyStegeman
Copy link
Copy Markdown
Member

Please also delete the branch fix-stopping-patience-bug

I can't find this branch, did you already delete it yourself?

@APJansen
Copy link
Copy Markdown
Collaborator Author

@RoyStegeman I didn't, I don't think I have permissions for it, but I don't see it either so I guess someone else did.

@APJansen APJansen merged commit e005a42 into master Oct 18, 2023
@APJansen APJansen deleted the fix-stopping-bug branch October 18, 2023 10:09
@scarlehoff
Copy link
Copy Markdown
Member

I did!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants