cms-dev/cms — pull request #148 by qnighy (2013-05-05 12:59:49+00:00)
Title: adapt SpoolExporter to a change of ScoreType format

SpoolExporter didn't work because of some minor changes in submissions. This patch fixes it.