-
Guido Trotter authored
The name clarifies the difference between this and the internal lock. Also explain a bit better what it is. Signed-off-by:
Guido Trotter <ultrotter@google.com> Reviewed-by:
Michael Hanselmann <hansmi@google.com>
a71f9c7d
The name clarifies the difference between this and the internal lock. Also explain a bit better what it is. Signed-off-by:Guido Trotter <ultrotter@google.com> Reviewed-by:
Michael Hanselmann <hansmi@google.com>