Merge pull request #18347 from case540/fix_source_writer
authorMichael Case <mikecase@google.com>
Tue, 10 Apr 2018 04:17:15 +0000 (21:17 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 04:17:15 +0000 (21:17 -0700)
commit2770cf7805b7cffda830e6e09e1230cf94173937
treeb2dc1ecd9aaeebf650c4db33fd6e40fcdf84c88b
parent808d27bd5665a159ab1a1393897c215daecf2bcc
parent21820d31f24f666d2ae642c633a19aed17a4f477
Merge pull request #18347 from case540/fix_source_writer

Fixes to source_writer.cc.