
<!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>