[ascend/f21] (4 commits) ...Merge branch 'master' into f21

[Antonio Trande]

Summary of changes:

  99aca41... Rebuild after MUMPS update. (*)
  5923d32... Rebuild after bz#1135728. (*)
  ae79806... Changed Ipopt and MUMPS minimal requests. (*)
  8151f91... Merge branch 'master' into f21

(*) This commit already existed in another branch; no separate mail sent