Automated cherry pick of #5435: Fix antctl proxy not using user specified port#5439

Merged

tnqn merged 1 commit intoantrea-io:release-1.13from tnqn:automated-cherry-pick-of-#5435-upstream-release-1.13

Aug 25, 2023

+2-4

Commits on Aug 25, 2023

Fix antctl proxy not using user specified port
tnqn
committed