> We should use a Signal to avoid waiting longer than necessary. C.f. > resized_signaled
Oh. I misunderstood the problem. I still think there's a better way...
[goes to think]
« Back to merge proposal
> We should use a Signal to avoid waiting longer than necessary. C.f.
> resized_signaled
Oh. I misunderstood the problem. I still think there's a better way...
[goes to think]