-
Robbert Krebbers authored
The closing view shift's LHS mask is now universally quantified, which makes it easier to execute the closing view shift.
23178b78
The closing view shift's LHS mask is now universally quantified, which makes it easier to execute the closing view shift.