View Revisions: Note 12750

Summary 0005331: Doors get stuck sometimes: neither player nor AI can open them