On 11/21/19 10:38, Laszlo Ersek via Groups.Io wrote:
> Repo: https://github.com/lersek/edk2.git
> Branch:local_hdrs
> Personal CI build: https://github.com/tianocore/edk2/pull/188
>
> I'm proposing this small set of fixes for edk2-stable201911.
>
> If the consensus is tha
On 11/21/19 11:00, Leif Lindholm wrote:
> On Thu, Nov 21, 2019 at 10:38:30AM +0100, Laszlo Ersek wrote:
>> Repo: https://github.com/lersek/edk2.git
>> Branch:local_hdrs
>> Personal CI build: https://github.com/tianocore/edk2/pull/188
>>
>> I'm proposing this small set of fi
On Thu, Nov 21, 2019 at 10:38:30AM +0100, Laszlo Ersek wrote:
> Repo: https://github.com/lersek/edk2.git
> Branch:local_hdrs
> Personal CI build: https://github.com/tianocore/edk2/pull/188
>
> I'm proposing this small set of fixes for edk2-stable201911.
>
> If the consens
Repo: https://github.com/lersek/edk2.git
Branch:local_hdrs
Personal CI build: https://github.com/tianocore/edk2/pull/188
I'm proposing this small set of fixes for edk2-stable201911.
If the consensus is that they should be delayed until after
edk2-stable201911, I'm OK with