getaddrinfo: support for setting port from service argument (numeric only)

parent d2502056
Pipeline #2801 passed with stages
in 12 minutes and 17 seconds