<div dir="ltr">Merged!</div><br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 12, 2017 at 9:21 AM Dmitri Popov <<a href="mailto:lazylegs@gmail.com">lazylegs@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">... and ready for merge.<br class="gmail_msg">
<br class="gmail_msg">
Best,<br class="gmail_msg">
Dmitri<br class="gmail_msg">
</blockquote></div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature"><div dir="ltr"><a href="https://patdavid.net">https://patdavid.net</a><br>GPG: 66D1 7CA6 8088 4874 946D 18BD 67C7 6219 89E9 57AC</div></div>