> Well, I guess now is the time to reraise the question of GPLv3. Naturally, the day after I wrote, after weeks since making the change, that line on the mplayer web site went back to just "GPLv2". Oh well.
Anyway, Lubomir pointed out to me privately that a security fix is the wrong time to make a license change, with which I can only agree. So let GPLv3 stay pending for now ... karl
