Sedat Dilek <sedat.dilek at gmail.com> writes: > I did a git-reset-die-hard to $LASTOK_COMMITID and what magic... > everything fine here! Glad it was a false alarm. Oliver, thanks a lot for looking into it. PM