
danke an alle, die an der problemlösung beteiligt waren.
was ich allerdings nicht verstehe:
da der fehler ja wohl erst durch ne cvs-änderung am 13.11. enstanden ist, wieso ist das problem bei mir schon mit dem novatux vom 30.10. aufgetreten??
aber das soll mir auch recht egal sein, hauptsache es läuft wieder!