Basically I’m trying to establish which commit fixed this: https://github.com/pantsbuild/pants/issues/4664