unfortunately the commit I'd like to change the error msg for is several commits ago, and I don't want to undo the whole chain "Hans Meine" <meine at informatik.uni-hamburg.de> wrote in message news:200901022048.41328.meine at informatik.uni-hamburg.de... >