<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
5.12 is actually out. Has anybody tried it yet? Is it good?<br>
<br>
<a class="moz-txt-link-freetext" href="http://lwn.net/Articles/383203/">http://lwn.net/Articles/383203/</a><br>
<br>
All the best<br>
Stuart<br>
-- <br>
<span style="color: rgb(102, 0, 0);">Stuart Watt<br>
<a class="moz-txt-link-abbreviated" href="mailto:stuart@morungos.com">stuart@morungos.com</a></span><br>
</body>
</html>