The ccase/r13b04_dev branch has been merged to the master branch. The new development branch to base further patches on is called "dev". The description of branches at: http://wiki.github.com/erlang/otp/branches has been updated. -- Björn Gustavsson, Erlang/OTP, Ericsson AB