Ignore the last two emails, this patch removes a now-unnecessary patch file
that I neglected to delete.

On Fri, Jun 7, 2019 at 6:42 AM Brian Leung <bkleung89@gmail.com> wrote:

> Resubmitting with fixed indentation, sorry.
>