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.

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

Cleanup #1589

Merged
merged 3 commits into from
Jan 22, 2025
Merged

Cleanup #1589

merged 3 commits into from
Jan 22, 2025

Conversation

rmburg
Copy link
Contributor

@rmburg rmburg commented Jan 20, 2025

Very minor cleanup, to make the diff of upcoming PRs more legible.

The direction was computed three times in a row, and once in a very convoluted way.

@rmburg rmburg added is:Cleanup Nothing new here, just tidying up. is:Easy labels Jan 20, 2025
@rmburg
Copy link
Contributor Author

rmburg commented Jan 20, 2025

Edit: optimized the math a bit, by using the normalized direction we precomputed anyway

@rmburg rmburg added this pull request to the merge queue Jan 22, 2025
Merged via the queue into HULKs:main with commit b2e0b46 Jan 22, 2025
25 checks passed
@rmburg rmburg deleted the cleanup branch January 22, 2025 18:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
is:Cleanup Nothing new here, just tidying up. is:Easy
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants