PR #4221 broke the Mac build, but Travis failed to show the failure in the logs in the PR builds (some buffering issue filed as #4223 (closed)). We fix the Mac build here.
Issue: #4197 (closed), #4223 (closed)
PR #4221 broke the Mac build, but Travis failed to show the failure in the logs in the PR builds (some buffering issue filed as #4223 (closed)). We fix the Mac build here.
Issue: #4197 (closed), #4223 (closed)