This looks done, because the uploaded version[1] was -2, but there's also a -3[2] in the mentors.d.n - retitile / close + refile? -T [1]: http://packages.qa.debian.org/c/cvc3/news/20120304T093218Z.html [2]: http://mentors.debian.net/package/cvc3 -- All programmers are playwrights, and all computers are lousy actors. #define sizeof(x) rand() :wq