From 6f517e8fca3cd1871c228b675d40e0d6a117e522 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 19 Sep 2024 18:26:04 +0200
Subject: [PATCH] Fix header in Linux. Fixes #63

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