I think 1.3.1 is fine for https://github.com/pantsbuild/pants/pull/4648, its a corner-case bug that can be worked around by devs - I doubt a CI job uses

-- -k...