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

On Fri, Feb 10, 2023 at 07:43:56PM +0100, Heinrich Schuchardt wrote:

Dear Tom,

The following changes since commit 81e8a51cee2b265e26272f0c67518c4844baa36c:

Merge branch '2023-02-09-minor-updates' (2023-02-09 16:31:36 -0500)

are available in the Git repository at:

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

for you to fetch changes up to 124725732fdfd63ebb2f6514c690181ccbe13444:

efi_loader: static efi_query_variable_info_runtime() (2023-02-10 13:05:40 +0100)

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

Applied to u-boot/master, thanks!