-
Guido Trotter authored
This makes it slightly easier to cut&paste its content. Signed-off-by: Guido Trotter <ultrotter@google.com> Reviewed-by: Michael Hanselmann <hansmi@google.com>
e2e92ea0
This makes it slightly easier to cut&paste its content. Signed-off-by: Guido Trotter <ultrotter@google.com> Reviewed-by: Michael Hanselmann <hansmi@google.com>