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

File proxy_observation_mistaken_for_action_semantics, and give delete…

11c30c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar