Revision 3ddc7650
ID | 3ddc765099fd74b291956dc721ff0ab0186f8e7e |
Fix error printing
Fixes issue 616.
Signed-off-by: Jose A. Lopes <jabolopes@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>
Files
- added
- modified
- copied
- renamed
- deleted