From f1fe81854366620c8fca0e238cf70814aa59806a Mon Sep 17 00:00:00 2001
From: Jan Vermaete <jan.vermaete@gmail.com>
Date: Tue, 18 Jun 2024 18:53:30 +0200
Subject: [PATCH] extra-build-config.md: added a white line

There was in the rendered MarkDown no new line between the bullet list and the next line.

Signed-off-by: Jan Vermaete <jan.vermaete@gmail.com>
---
 docs/extra-build-config.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/extra-build-config.md b/docs/extra-build-config.md
index a8a84adf..fa971574 100644
--- a/docs/extra-build-config.md
+++ b/docs/extra-build-config.md
@@ -178,6 +178,7 @@ the following boards:
 * Raspberry Pi 3 64-bit
 * Raspberry Pi 4 32-bit
 * Raspberry Pi 4 64-bit
+
 It means that, for those boards, `RPI_USE_U_BOOT = "1"` is not compatible with
 `ENABLE_UART = "0"`.