<@U06A03HV1> Any thoughts on <https://github.com/p...
# development
a
@witty-crayon-22786 Any thoughts on https://github.com/pantsbuild/pants/pull/5066 ?