98ff91cfeb
Gah! The "device" variable isn't used at all in this loop (my eye glossed over the next line and thought that "device" was used in the free() statement, but it's actually "devices" -- not "device"). This commit was SVN r29665. The following Trac tickets were found above: Ticket 3091 --> https://svn.open-mpi.org/trac/ompi/ticket/3091