Source: openmpi Version: 5.0.9-1 Followup-For: Bug #1120617 X-Debbugs-Cc: [email protected] User: [email protected] Usertags: hurd-amd64 Control: tags -1 ftbfs Control: fixed -1 5.0.9-2
openmpi 5.0.9-2 claimed to close Bug#1120217, but I think this hurd bug #1120617 was intended.
