<@U01PZK60W2F> it looks like <https://github.com/p...
# development
b
@curved-television-6568 it looks like https://github.com/pantsbuild/pants/pull/18806 and https://github.com/pantsbuild/pants/pull/18807 are good to go for 2.16 (per @happy-kitchen-89482's comments). Given it sounds like you're running a release right now, should I hold off on merging and they just go out in rc2, or should I merge now and get them into rc1?
c
you can merge them now, but the version bump for rc1 is already built
👍 1