Skip to content

Update comment to reflect behavior after merge of #3103. #3680

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.

Sign up for GitHub

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

Jump to bottom
Open
heplesser wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update comment to reflect behavior after merge of #3103. #3680

heplesser wants to merge 1 commit into from

Conversation

@heplesser
Copy link
Contributor

@heplesser heplesser commented Dec 1, 2025

This is a small doc change, a single review should suffice.

@heplesser heplesser requested a review from terhorstd December 1, 2025 18:58
@heplesser heplesser added this to Kernel Dec 1, 2025
@heplesser heplesser added S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation. I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) labels Dec 1, 2025
@github-project-automation github-project-automation bot moved this to In progress in Kernel Dec 1, 2025
@terhorstd terhorstd mentioned this pull request Dec 2, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@terhorstd terhorstd Awaiting requested review from terhorstd

Assignees

No one assigned

Labels

I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation.

Projects

Kernel
Status: In progress

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@heplesser