openwebwork/pg — pull request #58 by dpvc (2013-09-21 22:55:04+00:00)
Title: Backport pull request #54 as a hotfix to v2.7

See pull request #54