Message ID | 9afb07f9-e5f2-b06b-eff6-dc7095fc71fc@gmx.de |
---|---|
State | Accepted |
Delegated to: | Tom Rini |
Headers | show |
Series | Pull request for efi-2023.04-rc5 | expand |
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!