On Mon, 2010-02-08 at 18:47 -0800, Roland McGrath wrote:
Worth clarifying here: Rawhide or (and?) F13?
They are still the same thing, so both.
They will only be so for a fairly short time, and you gave no specific time frame for landing the change (only 'pretty soon'), so it was not entirely clear. Thanks.