This fixes the display on Retina Macbooks. It also moves us away from depending on the ancient XCode3 sdk. Conflicts: doc/release-process.md Rebased-By: Wladimir J. van der Laan <laanwj@gmail.com> Rebased-From: 2869b13
2869b13
Github-Pull: #4185 Rebased-By: Wladimir J. van der Laan Rebased-From: 1a97b22
1a97b22