Revision 0fb7461d89eb4ce5560e3e12e832f949dd3b293a

Committed on 24/10/2013 5:45 am by gggeek <gg@ez.no> [GitHub Diff]

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