Portfile modification date checks vs. Portfile revisions

[Ryan Schmidt]

On Feb 23, 2008, at 07:21, Rainer Müller wrote:

> Ryan Schmidt wrote:
>
>> Not wasted. Just deactivate the one you got and then activate the  
>> new  one.
>
> Not possible. Install *failed*. You can't install the exact same  
> version/revision/variants twice.

Oh. Um, yes. I see that now. Just ignore me while I go get some  
tea... maybe that will wake me up.