<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div>
<div style="font-family: Calibri,sans-serif; font-size: 11pt;">Has anyone managed to make an FTL build on Linux?<br>
<br>
Yong Li</div>
</div>
<div dir="ltr">
<hr>
<span style="font-family: Calibri,sans-serif; font-size: 11pt; font-weight: bold;">From:
</span><span style="font-family: Calibri,sans-serif; font-size: 11pt;"><a href="mailto:svillar@igalia.com">Sergio Villar Senin</a></span><br>
<span style="font-family: Calibri,sans-serif; font-size: 11pt; font-weight: bold;">Sent:
</span><span style="font-family: Calibri,sans-serif; font-size: 11pt;">‎8/‎7/‎2014 11:58 AM</span><br>
<span style="font-family: Calibri,sans-serif; font-size: 11pt; font-weight: bold;">To:
</span><span style="font-family: Calibri,sans-serif; font-size: 11pt;"><a href="mailto:webkit-dev@lists.webkit.org">webkit-dev@lists.webkit.org</a></span><br>
<span style="font-family: Calibri,sans-serif; font-size: 11pt; font-weight: bold;">Subject:
</span><span style="font-family: Calibri,sans-serif; font-size: 11pt;">Re: [webkit-dev] ftlopt merge - basically done</span><br>
<br>
</div>
<div class="BodyFragment">
<div class="PlainText">On 06/08/14 23:35, Filip Pizlo wrote:<br>
&gt; Hi everyone,<br>
&gt; <br>
&gt; The JSC “ftlopt” branch is basically merged.&nbsp; I think I have one more revision to merge over, and it is a minor one.&nbsp; Please don’t land more things on the branch.&nbsp; Landing on trunk is fine; it’s unlikely to get in my way as I merge the last revision over.<br>
&gt; <br>
&gt; Thanks to everyone who helped with diagnostic problems and fixing things!<br>
<br>
For those not following the development in that branch, mind sharing<br>
details about what that work was about?<br>
<br>
BR<br>
_______________________________________________<br>
webkit-dev mailing list<br>
webkit-dev@lists.webkit.org<br>
<a href="https://lists.webkit.org/mailman/listinfo/webkit-dev">https://lists.webkit.org/mailman/listinfo/webkit-dev</a><br>
</div>
</div>
</body>
</html>