Re: [Mplayerplug-in-devel] mplayerplug-in extension

[Michael R. <mi...@mi...>]

Hi Kevin,

Did you receive my lastest patch for whatoptions.sh?
It does not seem to be applied in the lastet CVS.

--=20
Hilsen/Regards
Michael Rasmussen

Get my public GnuPG keys:
michael <at> rasmussen <dot> cc
http://keyserver.veridis.com:11371/pks/lookup?op=3Dget&search=3D0xD3C9A00E
mir <at> datanom <dot> net
http://keyserver.veridis.com:11371/pks/lookup?op=3Dget&search=3D0xE501F51C
mir <at> miras <dot> org
http://keyserver.veridis.com:11371/pks/lookup?op=3Dget&search=3D0xE3E80917
--------------------------------------------------------------
Debian Hint #25: If you would like to thank a maintainer for handling an
issue, check out reportbug --kudos.