Hi Moritz, you beat me in opening this bug - vmware notified me already. Updated packages + security upload are on its way.
cheers, Bernd -- Bernd Zeimetz Debian GNU/Linux Developer http://bzed.de http://www.debian.org GPG Fingerprint: ECA1 E3F2 8E11 2432 D485 DD95 EB36 171A 6FF9 435F
