On 06/07/2013 06:24 PM, Anthony Ramine wrote: > Ping? > Hello Anthony, I've assigned it to be reviewed by the responsible team now. This must have fallen between the chairs when we changed the patch-process. But now the ball is officially on the developers. -- BR Fredrik Gustafsson Erlang OTP Team