< witty crayon 22786> mind if I hit merge on <https github c pantsbuild #development

Channels

github-notifications

Title

h

hundreds-breakfast-49010

01/07/2021, 8:43 PM

@witty-crayon-22786 mind if I hit merge on https://github.com/pantsbuild/pants/pull/11424 ?

w

witty-crayon-22786

01/07/2021, 10:30 PM

sorry, missed this