Closed MarcelKoch closed 4 months ago
This PR fixes two instances where I missed deactivating HWLOC.
Error: PR already merged!
This PR fixes two instances where I missed deactivating HWLOC.