Felix Lange 74d5251b70 [release/1.4.16] core/state: rename Delete/IsDeleted to Suicide/HasSuicided ...

The delete/remove naming has caused endless confusion in the past.

(cherry picked from commit 90fce8bfa6)

2016-10-06 16:25:17 +02:00

11 KiB

Raw Blame History

View Raw