Hi Milian,

There weren't any concerns with the patch so I've gone ahead and merged
it as commit a4b1839c3c46.

Thanks,
Aaron

Reply via email to