Re: Pull request doc-2024-07-rc5

On Thu, Jun 06, 2024 at 09:42:07AM +0200, Heinrich Schuchardt wrote:

Dear Tom,

The following changes since commit 4b992573b34b1586e323e27b177680a6efec1c76:

Merge https://gitlab.denx.de/u-boot/custodians/u-boot-usb (2024-06-05 10:59:10 -0600)

are available in the Git repository at:

https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/doc-2024-07-rc5

for you to fetch changes up to 0efc5a9f670144cad7f287711f25c69cba0fde39:

doc: process.rst: Document device tree resync rules (2024-06-06 09:28:20 +0200)

Gitlab CI showed no issues building the documentation: https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/20988

Applied to u-boot/master, thanks!