Skip to content
Snippets Groups Projects
user avatar
Michael Hanselmann authored
This makes it easier to catch warnings.

Signed-off-by: default avatarMichael Hanselmann <hansmi@google.com>
Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
e7f6524c
Name Last commit Last update