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

Added New Derandomization Lines #1579

Merged
merged 2 commits into from
Aug 17, 2024
Merged

Added New Derandomization Lines #1579

merged 2 commits into from
Aug 17, 2024

Conversation

NovaDiablox
Copy link
Contributor

skip-changelog if possible
Added New Derandomization Lines
Fixed Various Lines
Better Grammer and Context

@NovaDiablox
new lines
994124f
@NovaDiablox
various fixes
361fc65 
Better Context and grammer fixes
@TimGoll TimGoll added type/enhancement Enhancement or simple change to existing functionality skip-changelog Skips the requirement for an entry in the CHANGELOG.md labels Aug 17, 2024
@TimGoll TimGoll added this to the v0.14.0b milestone Aug 17, 2024
@TimGoll TimGoll merged commit 8068f21 into TTT-2:master Aug 17, 2024
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@TimGoll TimGoll TimGoll approved these changes

Assignees
No one assigned
Labels
skip-changelog Skips the requirement for an entry in the CHANGELOG.md type/enhancement Enhancement or simple change to existing functionality
Projects
None yet
Milestone
v0.14.0b
Development

Successfully merging this pull request may close these issues.
2 participants
@NovaDiablox @TimGoll