Warning : Don't merge this PR if this PR on INGInious is not merged yet and this problem still exists.
This PR has the only purpose of integrating the latest version of Inginious when the various known problems will be fixed ( by relaunching the Travis build )
Warning : Don't merge this PR if this PR on INGInious is not merged yet and this problem still exists.
This PR has the only purpose of integrating the latest version of Inginious when the various known problems will be fixed ( by relaunching the Travis build )