-
Michael Hanselmann authored
These updates and clarifications are still useful. Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: René Nussbaumer <rn@google.com>
5fe4a65b
These updates and clarifications are still useful. Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: René Nussbaumer <rn@google.com>