I think I'll just cut a release - 1.4.0.dev14 - once https://github.com/pantsbuild/pants/pull/4894 is in completing OSX High Sierra support. The fix for https://github.com/pantsbuild/pants/issues/4890 will take some more time tonight to get out for review.