Avoid crash when printing has been aborted
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/denemo
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/denemo
Drop print callback stuff
Get score checking before printing sorted out
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/denemo
Unused positioning variable