On Thu, Jun 9, 2011 at 19:06, Diego Novillo <dnovi...@google.com> wrote:
>> +2011-06-09 Gabriel Charette <gch...@google.com> >> + >> + * pph-streamer-out.c (pph_out_tree_header): Rename from >> + pph_output_tree_header. Update all users. >> + > > OK. Committed at rev. 174879. Diego.
