From 7e8465bec86805e5d6d67d348d811a09243d3b9c Mon Sep 17 00:00:00 2001
From: Leah Rowe <leah@libreboot.org>
Date: Wed, 6 Sep 2023 09:32:02 +0100
Subject: [PATCH] grub: re-add module: play

for example, the beep sound in debian's installer needs
this module.

the cute ding in the arch/artix menu also needs it

Signed-off-by: Leah Rowe <leah@libreboot.org>
---
 config/grub/modules.list | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config/grub/modules.list b/config/grub/modules.list
index 90f77379..c33f3c33 100644
--- a/config/grub/modules.list
+++ b/config/grub/modules.list
@@ -107,6 +107,7 @@ pata \
 pbkdf2 \
 pcidump \
 pgp \
+play \
 png \
 procfs \
 raid5rec \