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

curved-television-6568

04/24/2023, 1:43 PM
It seems I managed to mess up the
release_2.17.0.dev3
tag last night. I’ve reset it to the proper commit now, so I hope everything is back in order (but the release page on GH for that version looks.. different now)