From 65e0541e72d11a263fa8073fc1c654eb7d3be5cf Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Thu, 19 Feb 2026 23:39:13 +0100 Subject: chore: notation hygiene tweaks. Signed-off-by: Amlal El Mahrouss --- papers | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers b/papers index f302fe8..0f49c23 160000 --- a/papers +++ b/papers @@ -1 +1 @@ -Subproject commit f302fe85f12f6e45baa0bd9d206eadd0e6f2f9aa +Subproject commit 0f49c23e66f9bc5990997e6ea539b1eae4f25c56 -- cgit v1.2.3