[95512] trunk/dports/kde

[Nicolas Pavillon]

Hello, 

Ah, ok. Since the mismatch of variants were making a "hidden" variant doc in these ports, with the fact that users having selected the +docs variant would not get what they asked, I considered that it was worth a revbump. Sorry if that was wrong.

Cheers, 

Nicolas

On Jul 15, 2012, at 7:23 AM, Jeremy Lavergne wrote:

>> kde ports: matching documentation variants with group docs variant
> 
> Oy, don't think that was worth a rebuild of all those.
>