From 1a09d74df3e9fcedb20053d64ab029c550120a99 Mon Sep 17 00:00:00 2001
From: Alexandre Pujol <alexandre@pujol.io>
Date: Wed, 5 Apr 2023 21:37:07 +0100
Subject: [PATCH] fix: ensure /boot/ is a directory.

See de54984
---
 apparmor.d/groups/grub/grub-probe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apparmor.d/groups/grub/grub-probe b/apparmor.d/groups/grub/grub-probe
index bc3c8174..3d11dc9f 100644
--- a/apparmor.d/groups/grub/grub-probe
+++ b/apparmor.d/groups/grub/grub-probe
@@ -25,7 +25,7 @@ profile grub-probe @{exec_path} {
   / r,
   /usr/share/grub/* r,
 
-  /boot r,
+  /boot/ r,
   /boot/grub/themes/{,**} r,
 
   @{PROC}/@{pids}/mountinfo r,