branch wip-openmpi-upgrade deleted (was b33eef17e9)

[guix-commits]

civodul pushed a change to branch wip-openmpi-upgrade
in repository guix.

     was b33eef17e9 gnu: spindle: Update to 0.13; remove input labels.

This change permanently discards the following revisions:

 discard b33eef17e9 gnu: spindle: Update to 0.13; remove input labels.
 discard 2a73e89bcf gnu: spindle: Fix compilation with GCC 11.
 discard 0076a30a3c gnu: launchmon: Fix compilation with GCC 11.
 discard 7b542209dd gnu: intel-mpi-benchmarks: Update to 2021.3.
 discard d3c0002206 gnu: openmpi: Update to 4.1.6.
 discard b7371cb67e gnu: psm2: Update to 12.0.
 discard cddee9a8c1 gnu: libfabric: Update to 1.19.0.
 discard be6b06371f gnu: rdma-core: Update to 48.0.
 discard aa8aca5772 gnu: ucx: Update to 1.15.0.
 discard f198f310e6 gnu: opensm: Update to 3.3.24.
 discard cb267f9843 gnu: hwloc: Update to 2.9.3.
 discard d3c5766d26 gnu: slurm: Add 23.02.6.
 discard f0ebb2fa9d gnu: opensm: Use gexps.
 discard a8ce718908 gnu: opensm: Use the right version string for the doc 
directory.