Re: [PATCH v2 0/1] MR3403: server: Check for SO_DEFAULT_HEADERS before using it.

[Jinoh Kang (＠iamahuman)]

On Tue Jul 25 14:02:22 2023 +0000, Fotios Valasiadis wrote:
> @iamahuman done! Let me know for further changes requested.

Looks good to me.