Oops ... never mind. I see that it was added just five days ago! https://github.com/erlang/otp/commit/9bb6cd9ea8185c2447e6335b2616babaae7e250b On Mon, Jul 16, 2012 at 12:44:24PM +0530, Vance Shipley wrote: } I never heard anything further after submitting this patch in April. -- -Vance