Hi Sebastian,
excellent catch, thank you very much! This was one difficult
to trace bug.
I have applied you patch and modified it a bit further, by
wrapping it in unwind-protect. So even if the version computation
throws an error, the working directory will be restored.
- Carsten
P.S. In
Carsten Dominik carsten.domi...@gmail.com writes:
Hi Sebastian,
excellent catch, thank you very much! This was one difficult
to trace bug.
It wasn't difficult, once I noticed _when_ it showed up. I noticed that
something was wrong since several weeks. But I never new what exactly
the action