Skip to content

Prevent iFrame from instantiating existentials under ∀, -∗, →, WP

Ike Mulder requested to merge snyke7/iris:ike/frame_no_instantiate_ex into master

Merge request reports