Trac availability

Hi,

just wanted to let you know that I find it unfortunate that you completely removed trac. Although cases have been imported into githib, cross-references into the sources are non-existent anymore and that helped a lot to verify/track changes, even for the older stuff :-(

sincerely

We haven't completely removed trac, it has just crashed again (which was another cause for the move) and I've restarted it now.

---

Thomas Seifert

:-)

Well, thanks for that; and I guess that's even one more reason to probably get really rid of it ....