Learn more about these different git repos.
Other Git URLs
{{{ Fix source URL, update source, and drop unneeded patch.
Um.. Don't need to tag stuff for F13. Did you mean F12?
Closing as invalid.
Login to comment on this ticket.