Skip to content

Conversation

@bradjc
Copy link
Contributor

@bradjc bradjc commented Jul 27, 2023

Pull Request Overview

This feature is not needed and hasn't been for a while.

Part of #1654.

Testing Strategy

travis

TODO or Help Wanted

n/a

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

This feature is not needed and hasn't been for a while.
@lschuermann lschuermann added the P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. label Jul 27, 2023
@lschuermann lschuermann added this pull request to the merge queue Jul 27, 2023
Merged via the queue into master with commit d5ebcd9 Jul 27, 2023
@lschuermann lschuermann deleted the kernel-remove-core-intrinsics branch July 27, 2023 22:04
@bradjc bradjc mentioned this pull request Apr 21, 2023
29 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kernel P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants