Ignore the last three emails, I've amended the patch to remove the
upstreamed patch from local.mk also.

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

> 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.
>>
>