From 810c42120aa4ffb5ebba439ee77e160f2bcb7cdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mislav=20Marohni=C4=87?= <mislav@github.com>
Date: Tue, 17 Aug 2021 12:16:59 +0200
Subject: [PATCH] Add installation note about Raspberry Pi OS

---
 docs/install_linux.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/install_linux.md b/docs/install_linux.md
index 1f3d0a5d2..c14273d5d 100644
--- a/docs/install_linux.md
+++ b/docs/install_linux.md
@@ -9,7 +9,7 @@ our release schedule.
 
 ## Official sources
 
-### Debian, Ubuntu Linux (apt)
+### Debian, Ubuntu Linux, Raspberry Pi OS (apt)
 
 Install: