Revision 01ed7c54d039f3e094badca040b7528d49c848e4

Committed on 01/07/2014 9:00 am by Bertrand Dunogier <bd@ez.no> [GitHub Diff]

Merge branch 'dev'