Re: Pull request efi-2023-07-rc2

On Thu, May 04, 2023 at 01:16:02PM +0200, Heinrich Schuchardt wrote:

Dear Tom,

The following changes since commit 2440719d258a97824395532cb4a775752b423f63:

Merge tag 'u-boot-imx-20230503' of https://gitlab.denx.de/u-boot/custodians/u-boot-imx (2023-05-03 13:15:12 -0400)

are available in the Git repository at:

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

for you to fetch changes up to 8a6414d1e410ab65780a4c5eb99e79e5b9bc21c1:

CI: treat documentation warnings as errors (2023-05-04 11:15:12 +0200)

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

Applied to u-boot/master, thanks!