[erlang-patches] [PATCH] Dialyzer: Fix dialyzer_plt:included_files/1 spec

Björn Gustavsson bgustavsson@REDACTED
Mon Oct 4 14:52:13 CEST 2010


2010/10/1 Kostis Sagonas <kostis@REDACTED>:
>
> However, I would prefer that the following patch gets pushed to 'dev'
> instead of his (ta/fix-dialyzer_plt-spec):
>
>  git fetch git://github.com/kostis/otp.git  dialyzer_plt-type
>

OK.

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB


More information about the erlang-patches mailing list