On Tue, 2019-01-15 at 10:11 +0800, Robert Yang wrote: > Hi Randy, > > I'm sorry for the types, and thanks for the correction. I found that > it has > been merged, I will be more careful. I did tweak the commit message! Cheers, Richard