stable-tracking problems

[Werner Almesberger]

I wrote:
> I'm now pulling the whole repository anew to see if the problem is
> on my side, but this will take a few hours ...

Ah, not quite. It picked up some speed after a while :-)

Alas, things look exactly the same as before: no WLAN, wrong dates,
and build failures if I try out older revisions.

Did some poltergeist attack the git repository during the weekend ?

- Werner