Revision 93a4adeb76431effd42055d432c697ad50b7839b

Committed on 02/01/2014 3:12 am by Bertrand Dunogier <bd@ez.no> [GitHub Diff]

Merge branch 'continuous_integration'