<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Tue, May 29, 2018 at 10:02 PM, Olivier Girondel <span dir="ltr"><<a href="mailto:olivier@biniou.info" target="_blank">olivier@biniou.info</a>></span> wrote:</span><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">
<br>
Amazing work ! Will definitely try it even if it's not ready for production <br><br></span><span class="">
Hope your project will grow ! <br></span></blockquote><div><br></div><div>Thanks! </div></div></div><div class="gmail_extra"><div class="gmail_extra"><br></div><div class="gmail_extra"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><div class="gmail_quote" style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span class="">On Tue, May 29, 2018 at 10:09 PM, Olivier Girondel<span> </span><span dir="ltr"><<a href="mailto:olivier@biniou.info" style="color:rgb(17,85,204)" target="_blank">olivier@biniou.info</a>></span><span><wbr> </span>wrote:</span><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br clear="all">Is the typo in the name on purpose ?<br><br>The diving tool is bathyscaph</blockquote></span></div><br></div><div class="gmail_extra">Yeah, that was on purpose. Makes it easier to google it later.<br><br></div></div></div>
</div><br></div>