From 4b314470b4765064145c34bc6045e63fb4d8f125 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Fri, 20 Sep 2024 07:19:47 +0200
Subject: [PATCH] Fix header in Linux.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 pico-keys-sdk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pico-keys-sdk b/pico-keys-sdk
index 739e9f1..839e824 160000
--- a/pico-keys-sdk
+++ b/pico-keys-sdk
@@ -1 +1 @@
-Subproject commit 739e9f1b98c4f8aacedfa67a11df87d773ebf776
+Subproject commit 839e8244d95aeef8f83748f13a73781952185cca