[ros-diffs] [jgardou] 47118: Delete win32k.h, it's useless now