On Wed, Nov 21, 2018 at 10:41:08PM +0800, Alex Vong wrote:
> I think Leo may be busy since he hasn't reply yet. Should I just push
> given the CVE fix?

Yes, please push :)