-
Guido Trotter authored
When we release a shared lock if there are no exclusive waiter then the number of shared waiters must be exactly equal to the ones scheduled to pass. Reviewed-by: iustinp
94285814
When we release a shared lock if there are no exclusive waiter then the number of shared waiters must be exactly equal to the ones scheduled to pass. Reviewed-by: iustinp