<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 10/14/2011 07:49 PM, Stavros Aronis wrote:
<blockquote
cite="mid:CABOX0Z_OmiLKuSQRrUjGYUcgDYsxpF3V7Ca1UbiznJzTPhjGWA@mail.gmail.com"
type="cite">
<div style="background-color: rgb(255, 255, 255);"><span
style="color: rgb(51, 51, 51); font-family: arial,sans-serif;
font-size: 11px;">Commit messages explain everything.</span></div>
<div style="background-color: rgb(255, 255, 255);">
<span style="color: rgb(51, 51, 51); font-family:
arial,sans-serif; font-size: 11px;"><br>
</span></div>
<div style="background-color: rgb(255, 255, 255);"><span
style="color: rgb(51, 51, 51); font-family: arial,sans-serif;
font-size: 11px;">git fetch git://</span><a
moz-do-not-send="true"
href="http://github.com/aronisstav/otp.git" target="_blank"
style="font-family: arial,sans-serif; font-size: 11px; color:
rgb(51, 51, 51);">github.com/aronisstav/otp.git</a><span
style="color: rgb(51, 51, 51); font-family: arial,sans-serif;
font-size: 11px;"> </span><span style="color: rgb(51, 51, 51);
font-family: arial,sans-serif; font-size: 11px;">dialyzer-wunderspecs</span></div>
<div style="color: rgb(51, 51, 51); font-family: arial,sans-serif;
font-size: 11px; background-color: rgb(255, 255, 255);"><br>
</div>
<font style="font-family: arial,sans-serif; font-size: 11px;
background-color: rgb(255, 255, 255);" color="#888888">
<div>
Stavros</div>
</font>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
erlang-patches mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-patches">http://erlang.org/mailman/listinfo/erlang-patches</a>
</pre>
</blockquote>
Thank you Stavros, branch included in 'pu'<br>
<br>
<pre class="moz-signature" cols="72">--
/Henrik Nord Erlang/OTP</pre>
</body>
</html>