#
#
# patch "cmd_diff_log.cc"
#  from [49648a3e1cf22e82483bf85d0f82852213117fd6]
#    to [b1684ddc5633e2d8e7ed741f418ccd13731fdbdd]
#
============================================================
--- cmd_diff_log.cc	49648a3e1cf22e82483bf85d0f82852213117fd6
+++ cmd_diff_log.cc	b1684ddc5633e2d8e7ed741f418ccd13731fdbdd
@@ -492,7 +492,7 @@ void dump_header(std::string const & rev
 
   vector<string> lines;
   split_into_lines(summary(), lines);
-  cout << "#\n";
+  out << "#\n";
   if (!summary().empty())
     {
       out << revs << "#\n";