Re: media-player-info 18 release
Martin Pitt <[email protected]>
| Newsgroups | gmane.linux.hotplug.devel,gmane.comp.freedesktop.devicekit.devel |
|---|---|
| Message-ID | <[email protected]> |
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) -- To unsubscribe from this list: send the line "unsubscribe linux-hotplug" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html