On Thu, Sep 22, 2016 at 12:43 AM, Tim Shen <timshen@google.com> wrote: > Hi, this patch fixes the following compilation failure: For the record, the bug is found by Ville. Thank you Ville! :) -- Regards, Tim Shen