<div dir="ltr">I don't think the previous version would merge cleanly.<div><br></div><div>Kevin</div></div><br><div class="gmail_quote"><div dir="ltr">On Sat, Feb 25, 2017 at 12:54 PM Jason A. Donenfeld <<a href="mailto:Jason@zx2c4.com">Jason@zx2c4.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Okay okay okay, I'll merge it already! :) Sorry for the wait.<br class="gmail_msg">
<br class="gmail_msg">
I may very soon be ripping this logic out to do the git stuff a bit<br class="gmail_msg">
differently. But we'll see.<br class="gmail_msg">
</blockquote></div>