-
Michael Beck authored
This attribute can only be set, not reseted and means the block is dead (could be replaced my Bad in old semantics). the new is_Block_dead() test chescks for the new attribute (and is_Bad() too) and should be used whenever a block is check with is_Bad() [r4535]
3b7785f7