[Rt-commit] rt branch, 4.2/remove-win32, deleted. rt-4.2.3-7-g1d4490c

[Alex Vandiver]

The branch, 4.2/remove-win32 has been deleted
       was  1d4490cdb50301883fda9910e0edc9f653f51a56

-----------------------------------------------------------------------
1d4490cdb50301883fda9910e0edc9f653f51a56 win32 is not a supported platform; remove remaining incidental mentions of it
-----------------------------------------------------------------------