Loading
Merge pull request #228025 from trofi/numactl-dev-output
numactl: move headers and mans to "dev" and "man" outputs
Admins will be upgrading ORNL GitLab Servers on Saturday, 16 May 2026, from 7 AM until 11 AM EST. Repositories will experience intermittent outages during this time.
numactl: move headers and mans to "dev" and "man" outputs