On Thu, 8 Nov 2018, Kito Cheng wrote:

> Hi Joseph:
> 
> I don't have commit right, could you help me to commit that, thanks :)

Done.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to