Sometime between now and later, probably soon, maybe even next Tuesday, the IP address of the treeboard will change to 77.220.110.88 (::ffff:4ddc:6e58); it should be reachable via board.treech.at most of the time, but alas I cannot guarantee anything. I have tried and will do my best.

Again, I apologize for the inconvenience.