[ros-diffs] [sir_richard] 46185: [DDK]: Fix Wmilib.h.