Revision 431cb279a24da99b7fab0958132fe554fe335c28

Committed on 19/12/2013 2:58 am by Simon Boyer <simon.boyer@openwide.fr> [GitHub Diff]

Merge branch 'dev'