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

kernel: move some doc comments for GAPState members, and some more comment cleanup #5262

Merged
merged 3 commits into from
Dec 14, 2022

Conversation

fingolfin
Copy link
Member

No description provided.

@fingolfin fingolfin added topic: kernel release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Dec 13, 2022
@fingolfin fingolfin changed the title kernel: move some doc comments for GAPState members kernel: move some doc comments for GAPState members, and some more comment cleanup Dec 13, 2022
@fingolfin
Copy link
Member Author

@ChrisJefferson this has a minor conflict with your PR #5261 but should be trivial to resolve either direction.

@fingolfin fingolfin merged commit 436bcc4 into gap-system:master Dec 14, 2022
@fingolfin fingolfin deleted the mh/gapstate-comments branch December 14, 2022 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants