Your message dated Sat, 11 Oct 2025 09:51:14 +0100
with message-id <aOoagiVnGpsFTQZT@???>
and subject line Fixed in Debian 0.13.2-1
has caused the Devuan bug report #713,
regarding rEFInd mouse bug
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@???
immediately.)


--
713: https://bugs.devuan.org/cgi/bugreport.cgi?bug=713
Devuan Bug Tracking System
Contact owner@??? with problems
Package: refind

When you uncomment the line enable-mouse in rEFInd, the mouse cursor
will show but when you move it, it will disappear. This bug was fixed
by compiling a patched refind_x64.efi file by cloning this git
repository "git clone -b fix-mouse-bug
https://git.code.sf.net/u/ignapk/refind", then installing gnu-efi,
then going into the folder, then running make gnuefi, then going into
the refind folder, then replace the patched refind_x64.efi with the
bugged one. This was tested on my HP laptop, and has worked nicely.


I am using Debian GNU/Linux 11.1, kernel 5.19.0-12.1-liquorix-amd64,
and libc6 2.31-13.
Version: 0.13.2-1

Upstream fix packaged in Debian.

Closing as fixed.

Mark