socket_option: don't set socket IP socket options on pipes.#5870
Merged
htuch merged 1 commit intoenvoyproxy:masterfrom Feb 7, 2019
Merged
socket_option: don't set socket IP socket options on pipes.#5870htuch merged 1 commit intoenvoyproxy:masterfrom
htuch merged 1 commit intoenvoyproxy:masterfrom
