On Sun, Sep 17, 2023 at 02:14:03AM +0200, Heinrich Schuchardt wrote: > Dear Tom, > > The following changes since commit 252592214f79d8206c3cf0056a8827a0010214e0: > > Merge tag 'doc-2023-10-rc5' of > https://source.denx.de/u-boot/custodians/u-boot-efi (2023-09-09 09:33:02 > -0400) > > are available in the Git repository at: > > https://source.denx.de/u-boot/custodians/u-boot-efi.git > tags/doc-2023-10-rc5-2 > > for you to fetch changes up to 8bd7d08407f986fe3c69f3e198f6f7152e12dea8: > > binman: doc: fix reference tag placement for Logging section > (2023-09-16 18:17:25 +0200) > > Gitlab CI showed no issues: > https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/17746 >
Applied to u-boot/master, thanks! -- Tom
signature.asc
Description: PGP signature
