0.12.7dev: fix `make coverage` and experiment with `pragma: no cover`

git-svn-id: http://trac.edgewall.org/intertrac/log:/branches/0.12-stable@13414 af82e41b-90c4-0310-8c96-b1721e28e2e2
1.0.3dev: merged [13414] from 0.12-stable (fix `make coverage`)

git-svn-id: http://trac.edgewall.org/intertrac/log:/branches/1.0-stable@13415 af82e41b-90c4-0310-8c96-b1721e28e2e2