openmpi: 4.1.1 -> 4.1.2
(cherry picked from commit 7287bf05aa441bba567cb2a98dc1987f2b8e79e0)
authored by Markus Kowalewski and committed by github-actions[bot] 4 years ago b294ab36 91c12917