On 08/07/2013 02:53 PM, Jimmy Olgeni wrote: > > Hello, > > On Wed, 7 Aug 2013, Fredrik wrote: > >> Could you please squash these changes to one single commit? > > Done - squashed on the same branch as before. > Fetched. Thanks, -- BR Fredrik Gustafsson Erlang OTP Team