Re: [GIT PULL 00/12] EFI updates for v4.12

2017-04-04 Thread Ard Biesheuvel
On 4 April 2017 at 17:02, Ard Biesheuvel wrote: > Hello all, > > This is what we have queued up for v4.12 so far. Please pull it so that it > gets some exposure in -next before the merge window. > > The following changes since commit 4495c08e84729385774601b5146d51d9e5849f81: > > Linux 4.11-rc2 (

[GIT PULL 00/12] EFI updates for v4.12

2017-04-04 Thread Ard Biesheuvel
Hello all, This is what we have queued up for v4.12 so far. Please pull it so that it gets some exposure in -next before the merge window. The following changes since commit 4495c08e84729385774601b5146d51d9e5849f81: Linux 4.11-rc2 (2017-03-12 14:47:08 -0700) are available in the git repositor