[coin-or-CoinUtils/f21] Update to latest upstream release (##1089925).

[pcpa]

Summary of changes:

  6b19ce8... Update to latest upstream release (##1089925). (*)

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