On 03/10/2011 10:49 PM, Ricardo Catalinas Jiménez wrote: > Already reported bug, see http://www.erlang.org/cgi-bin/ezmlm-cgi/2/1604. > > > Please fetch: > > git fetch git://github.com/jimenezrick/otp.git fix-typer-delete > > Hi Branch included in 'pu' /Henrik Nord, Erlang/OTP