master branch focuses on 1.1 release
Fixing issue-717 and removing unnecessary pipe character from grader submission navigation bar
Merge pull request #1213 from wroy/issue-717

Fixing issue-717 and removing unnecessary pipe character from grader sub...
Merge pull request #1204 from benjaminvialle/Version

master branch focuses on 1.1 release
Fixed issue 1214. If instructor does not allow students to form own groups, instructor will not be warned about exceeding the group size limit
Merge pull request #1215 from daniyall/issue-1214

Fixed issue #1214. If instructor does not allow students to form own grou...