Re: Pull request for efi-2023-04-rc1

On Fri, Jan 13, 2023 at 11:08:15AM +0100, Heinrich Schuchardt wrote:

The following changes since commit 87c9e117bf57d6bb42c5521a3f6ec9ca7d97e5fa:

Merge branch '2023-01-12-further-assorted-general-updates' (2023-01-12 17:05:41 -0500)

are available in the Git repository at:

https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/efi-2023-04-rc1

for you to fetch changes up to 8e4ec3e947d47b1af04b3b913cdf55882c0e728e:

efi_loader: provide agent_handle to efi_disk_add_dev() (2023-01-13 09:09:07 +0100)

Gitlab CI showed no issues: https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/14710

Applied to u-boot/master, thanks!