From cc3e2954ee629d1a2fac50bf160c225a7e641b88 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Thu, 19 Feb 2026 23:24:12 +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 348172f..504ab27 160000 --- a/papers +++ b/papers @@ -1 +1 @@ -Subproject commit 348172f60c24359f68ccdd8edc58a6bf1d1afc6e +Subproject commit 504ab27151c5aa1706a182af8d1a8995e72ca3dd -- cgit v1.2.3