2010/10/5 Kostis Sagonas <kostis@REDACTED>: > > git fetch git://github.com/kostis/otp.git syntax_tools-types Thanks! Will include in pu. -- Björn Gustavsson, Erlang/OTP, Ericsson AB