[MacPorts] #68837: openmpi-gcc13 fails to build

[MacPorts]

#68837: openmpi-gcc13 fails to build
----------------------------+----------------------
  Reporter:  rhaas80        |      Owner:  mascguy
      Type:  defect         |     Status:  assigned
  Priority:  Normal         |  Milestone:
 Component:  ports          |    Version:  2.8.1
Resolution:                 |   Keywords:
      Port:  openmpi-gcc13  |
----------------------------+----------------------
Changes (by jmroot):

 * keywords:  openmpi gcc13 =>
 * status:  new => assigned
 * owner:  (none) => mascguy


-- 
Ticket URL: <https://trac.macports.org/ticket/68837#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS