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

Add an option for -fsanitize=undefined #5117

Merged
merged 1 commit into from
Jun 25, 2024

Conversation

kimden
Copy link
Contributor

@kimden kimden commented Jun 25, 2024

Agreement

By creating a pull request in stk-code, you hereby agree to dual-license your contribution as
GNU General Public License version 3 or any later version and
Mozilla Public License version 2 or any later version.

This includes your previous contribution(s) under the same name of contributor.

Keep the above statement in the pull request comment for agreement.

@CodingJellyfish CodingJellyfish merged commit 319d0fc into supertuxkart:master Jun 25, 2024
22 checks passed
@Alayan-stk-2
Copy link
Collaborator

@CodingJellyfish Use "squash and merge" to merge PRs, please. Having a normal commit + a merge commit pollutes the commit history.

@qwertychouskie
Copy link
Contributor

"Rebase and merge" is IMHO even better. Also I think you can set the default in the repo options.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants