[Bug 1098653] updating openmpi erases mpi-selector settings
2 Nov
2018
2 Nov
'18
13:17
http://bugzilla.suse.com/show_bug.cgi?id=1098653
Stefan Knorr
2010
Age (days ago)
2010
Last active (days ago)
0 comments
1 participants
participants (1)
-
bugzilla_noreply@novell.com