Merge tag 'efi-2023-04-rc6' of https://source.denx.de/u-boot/custodians/u-boot-efi
authorTom Rini <trini@konsulko.com>
Sat, 1 Apr 2023 14:55:06 +0000 (10:55 -0400)
committerTom Rini <trini@konsulko.com>
Sat, 1 Apr 2023 14:55:06 +0000 (10:55 -0400)
Pull request for efi-2023-04-rc6

Documentation:

* describe skipping triggering a pipeline in Gitlab

UEFI:

* correct shortening of device-paths for boot options


Trivial merge