Revision 7570dd38d0f7558480850f16ccc1e3d414278baf

Committed on 28/01/2019 7:11 am by Marek Nocon <[email protected]> [GitHub Diff]

Merge remote-tracking branch 'origin/2.3' into 2.3