Revision 0fb7461d89eb4ce5560e3e12e832f949dd3b293a

Committed on 24/10/2013 5:45 am by gggeek <[email protected]> [GitHub Diff]

When updating sources from github, do not forget to fetch the tags

Share your information