Hi,
die Regel ist: wenn nen passender Branch vorhanden ist, dann soll der genommen werden, andernfalls der Head. Zeitweilig passte (bei der 3.0.1) der Head aber nicht mehr, wesshalb wir eine bestimmte Revision eingetragen hatten. Ich vermute aber, dass die Ursache eher in dem Versuch ne falsche Revision zu nehmen lag (aufs3.3.2 anstatt aufs3.2). Das habe ich nun korrigiert.
Claus