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