On 01/23/2013 02:18 PM, Yiannis Tsiouris wrote: > On 01/23/2013 03:01 PM, Fredrik wrote: >> It's reverted from master now. > Is it? 'cause I can't see it... :-) > > yiannis > When I am pushing 'master' to github, that is ;) BR Fredrik Gustafsson Erlang OTP Team