https://pantsbuild.org/ logo
#development
Title
# development
p

proud-dentist-22844

02/18/2023, 5:09 PM
@witty-crayon-22786 RFR https://github.com/pantsbuild/pants/pull/18260 I've approved this one, but another pair of eyes would be good before merging.
c

curved-television-6568

02/18/2023, 8:01 PM
@proud-dentist-22844 thatโ€™s the plan--early/mid next week ๐Ÿ˜‰
w

witty-crayon-22786

02/22/2023, 8:48 PM
still grappling with 2.15.x release issues: hopefully by EOD
๐Ÿ‘Œ 1
๐Ÿ‘ 1
5 Views