From 3a39bf940daa1ec435abb37b60ce2c3669bf2496 Mon Sep 17 00:00:00 2001
From: Santiago Vila <sanvila@debian.org>
Date: Fri, 3 May 2024 18:03:00 +0200
Subject: [PATCH] Update share/profile.md5sums accordingly.

---
 share/profile.md5sums | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/share/profile.md5sums b/share/profile.md5sums
index 5d338c7..a1d0941 100644
--- a/share/profile.md5sums
+++ b/share/profile.md5sums
@@ -12,4 +12,5 @@ b94c2e3df2a779ac12080942df4d86ea 5.9 to 6.4
 6c56009f8aabda9400878ce3c7fd91af 7.7
 ff2bae0480885c074afadec201f5c668 7.8 to 9.5
 2255054e61cee1a99dbe893377820dde 9.6 to 11
-48a30a427d1794feb49f102b87ddce2b 11.1 to current
+48a30a427d1794feb49f102b87ddce2b 11.1 to 13.1
+be6a0f27688b15faede8ad38300c1acc 13.2 to current