
<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    Hello Stavros,<br>

    I have included your patch in the master-pu branch.<br>

    <br>

    BR Fredrik Gustafsson<br>

    Erlang OTP Team<br>

    On 12/14/2012 10:11 AM, Stavros Aronis wrote:

    <blockquote

cite="mid:CABOX0Z9Nf4T0WM10DfZhk2mjRdX48x5w0dJa1u9nE+-cya9DKw@mail.gmail.com"

      type="cite">git fetch git://<a moz-do-not-send="true"

        href="http://github.com/aronisstav/otp.git" target="_blank">github.com/aronisstav/otp.git</a> dialyzer-list-spec</blockquote>

    <br>

  </body>

</html>