On Wed, Jul 24, 2013 at 6:56 PM, Diego Novillo <dnovillo@google.com> wrote: > Could you please add a description of what this does? Sorry. You did, but in a previous message that I had managed to miss. Maybe include a reference to it in future postings? Diego.