Skip to content

Conversation

@thomas
Copy link
Contributor

@thomas thomas commented Aug 4, 2025

Hi,

not terribly important, but 'all-other-kernel' could be written a bit more concise. I was thinking of 'any other kernel', but then ended with 'alternative-kernels', what is more to the point (IMHO).

Hi,

not terribly important, but 'all-other-kernel' could be written
a bit more concise. I was thinking of 'any other kernel', but
then ended with 'alternative-kernels', what is more to the point
(IMHO).
@pmenzel
Copy link
Contributor

pmenzel commented Aug 5, 2025

As the default kernel is also listed in that section All available kernels might be “most” correct. ;-)

Sign in to join this conversation on GitHub.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants