[PATCH] ws2_32: Handle more IGMP socket options