two quick changes if anyone has a second: <https:/...
# developmentw
witty-crayon-22786
06/02/2020, 10:52 PMtwo quick changes if anyone has a second: https://github.com/pantsbuild/pants/pull/9946 and https://github.com/pantsbuild/pants/pull/9943
witty-crayon-22786
06/03/2020, 12:06 AM@happy-kitchen-89482: ^ if you have a moment
h
happy-kitchen-89482
06/03/2020, 12:11 AMshipit
w
witty-crayon-22786
06/03/2020, 12:11 AMthanksmuch