Re: Pull request for efi-2023.04-rc5

On Sat, Mar 25, 2023 at 11:47:13AM +0100, Heinrich Schuchardt wrote:

Dear Tom,

The following changes since commit 78f67f11a9920ef988cbff5341616695c3e87ebd:

Merge branch 'rpi-2023.04' of https://source.denx.de/u-boot/custodians/u-boot-raspberrypi (2023-03-24 17:00:41 -0400)

are available in the Git repository at:

https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/efi-2023.04-rc5

for you to fetch changes up to 180b7118bed8433f9cfe4b5ad62c6b0d901924f5:

efi_loader: fix device-path for USB devices (2023-03-25 10:43:50 +0100)

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

Applied to u-boot/master, thanks!