index 170f737f611b48fa901e1789ec6d4f4d64834537..76f04f2854e85d51caface604d4fc10627f67620 100644 (file)
set is_detached 0
}
} else {
- if {$new_hash ne $HEAD} {
+ if {!$is_detached || $new_hash ne $HEAD} {
append log " to $new_expr"
if {[catch {
_detach_HEAD $log $new_hash