v1.3.1: fixed Hero.Doom.onDeath() not being triggered when hero dies

core/src/main/java/com/shatteredpixel/shatteredpixeldungeon/actors/hero/Hero.java

@@ -1776,6 +1776,10 @@ public class Hero extends Char {
 			}
 		});
 
+		if (cause instanceof Hero.Doom) {
+			((Hero.Doom)cause).onDeath();
+		}
+
 		Dungeon.deleteGame( GamesInProgress.curSlot, true );
 	}