media-player-info 18 release

[Martin Pitt]

Tom Gundersen [2013-07-18 16:39 +0200]:
> I think you may have forgotten to push this git tag to the public repo?

*cough*, thanks for pointing out. That's one of my main pet peeves
with git that it doesn't just effing do that with git push. Pushed!

Martin
-- 
Martin Pitt                        | http://www.piware.de
Ubuntu Developer (www.ubuntu.com)  | Debian Developer  (www.debian.org)