[SuperLU/f18: 7/7] Merge branch 'master' into f18