Skip to content

File proxy_observation_mistaken_for_action_semantics, and give delete-first the destruction-witness precondition it was already assuming - #10115

Merged
gunbai-bot[bot] merged 1 commit into
mainfrom
session/warm-ferret-391
Sep 2, 2026
Merged

File proxy_observation_mistaken_for_action_semantics, and give delete-first the destruction-witness precondition it was already assuming#10115
gunbai-bot[bot] merged 1 commit into
mainfrom
session/warm-ferret-391

Commits

  1. Commits on Sep 2, 2026