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) _______________________________________________ devkit-devel mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/devkit-devel
