From b0f90939678d0cb2657d546e56798f729ee0f54a Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Thu, 19 Feb 2026 23:31:29 +0100
Subject: chore: notation hygiene tweaks.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 papers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers b/papers
index 504ab27..f302fe8 160000
--- a/papers
+++ b/papers
@@ -1 +1 @@
-Subproject commit 504ab27151c5aa1706a182af8d1a8995e72ca3dd
+Subproject commit f302fe85f12f6e45baa0bd9d206eadd0e6f2f9aa
-- 
cgit v1.2.3