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

No Constants #1477

Closed
wants to merge 1 commit into from
Closed

No Constants #1477

wants to merge 1 commit into from

Conversation

schmidma
Copy link
Member

Why? What?

Describe here why you created this PR and what it does

Fixes #

ToDo / Known Issues

If this is a WIP describe which problems are to be fixed.

Ideas for Next Iterations (Not This PR)

If there are some improvements that could be done in a next iteration, describe them here.

How to Test

Describe how to test your changes. (For the reviewer)

@schmidma schmidma mentioned this pull request Oct 29, 2024
@schmidma schmidma force-pushed the no-constants branch 2 times, most recently from 6c9b831 to 437250d Compare November 3, 2024 15:29
@schmidma
Copy link
Member Author

schmidma commented Nov 3, 2024

Closed in favor of #1486

@schmidma schmidma closed this Nov 3, 2024
@schmidma schmidma deleted the no-constants branch November 3, 2024 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant