dzp/mru: https://github.com/yegappan/mru.git @ 539b03581107bee62d7a0b0596748e1e1e6b7998

Yegappan Lakshmanan 539b035811 Change the OS used for code coverage runs to Ubuntu 18.04		4 роки тому
..
workflows	539b035811 Change the OS used for code coverage runs to Ubuntu 18.04	4 роки тому