New Upstream Release - libm4ri

No successful merges for libm4ri

A new upstream version is available: 20200125