Revision 2710c1be3e2abc3e2992a55758f95ff27ac632ee

Committed on 30/07/2018 3:28 pm by Edi Modrić <[email protected]> [GitHub Diff]

Bump master to 4.2