<a title="Some minor cleaning up and updated Mesa to version 18.2.5 (on Linux)" href="https://github.com/opencor/opencor/pull/1876">PR #1876</a>: Some minor cleaning up and ...