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 FTRACE_KNIFE flag #817

Merged
merged 4 commits into from
Jul 11, 2023
Merged

add FTRACE_KNIFE flag #817

merged 4 commits into from
Jul 11, 2023

Conversation

justgo97
Copy link
Contributor

related to #813

@Escap3d Escap3d mentioned this pull request Apr 1, 2023
@WaLkZa
Copy link

WaLkZa commented Jul 1, 2023

@s1lentq @wopox1337

@justgo97
Copy link
Contributor Author

justgo97 commented Jul 1, 2023

This should have been one commit, But I guess I used an old branch, Can this be squashed or should I close this and just do another PR. Not sure If that's the reason this haven't been looked into yet.

@wopox1337 wopox1337 merged commit e1d1c11 into s1lentq:master Jul 11, 2023
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.

3 participants