openwebwork/webwork2 — pull request #468 by jwj61 (2014-08-11 20:46:03+00:00)
Title: Fix display of Gateway scores on the problem sets page

(rounding of to a reasonable number of places to hide floating point
garbage digits)