bump prole, winston

unbump redgreen so it'll bump later in ci. i want my green board.