On 05/29/2013 11:29 PM, Martin Buchholz wrote: > Looks good enough to me for a non-public API. I expect more contentious > arguments if this is ever made public, since the problems remain very > tricky. Yes, that's why we want to keep it internal for now. I'd like to hear the final "yes" from David :) -Aleksey.