<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Feb 3, 2013 at 11:11 AM, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra"><div class="adM"><div class="im"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra">Can you quantify your productivity gains that come from pushing checkpoints instead of waiting for a semantically meaningful point to merge and push?</div>

</div>
</blockquote></div><br></div></div>I can quantify the losses from the changed you propose, which is all I need to do. </div></blockquote><div><br></div><div style>Do share.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="gmail_extra">There are no "gains" from a baseline. This is</div><div class="gmail_extra">a point I have made multiple times. Changes must be justified.</div>
<div class="gmail_extra"></div></blockquote></div><br>I provided a long list of justifications that you have not responded to. There is a great deal of empirical evidence to back my claims.</div></div>