-
Aaron Karper authored
Fixes issue #1015 Signed-off-by: Aaron Karper <akarper@google.com> Reviewed-by: Helga Velroyen <helgav@google.com> Cherry-picked from 19a5c6c3 Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Hrvoje Ribicic <riba@google.com>
f3aff42b