Skip to content

add hints to avoid busy-window destruct'ing

Björn Brandenburg requested to merge wip-busy-window-auto into master

Proofs should avoid destruct'ing the busy-window definitions all over the place.

Merge request reports