File _service:extract_file:openmpi-4.0-pbs-config.patch of Package openmpi-pmix-gnu12 (Revision 327316a06c3b13a959181ff83c96a11e)

Currently displaying revision 327316a06c3b13a959181ff83c96a11e , Show latest