Re: tracking commit timestamps

<div dir="ltr"><br /><div class="gmail_extra"><br /><div class="gmail_quote">On Sat, Nov 1, 2014 at 1:15 AM, Simon
Riggs<span dir="ltr"><<a href="mailto:simon@2ndquadrant.com" target="_blank">simon@2ndquadrant.com</a>></span>
wrote:<br/><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 31
October2014 15:46, Petr Jelinek <<a href="mailto:petr@2ndquadrant.com">petr@2ndquadrant.com</a>> wrote:<br /><br
/>> Attached version with the above comments near the relevant code.<br /><br /> Looks cooked and ready to serve.
Who'sgonna commit this? Alvaro, or<br /> do you want me to?<span class="HOEnZb"><font color="#888888"><br
/></font></span></blockquote></div>Couldyou hold on a bit? I'd like to have a look at it more deeply and by looking at
quicklyat the code there are a couple of things that could be improved.<br />Regards,<br />-- <br /><div
class="gmail_signature">Michael<br/></div></div></div>