[sync] Error when searching from phone

[Mike]

I'm using the "composer" version of Horde6 with PHP 8.3.

When searching for text, it produces the following two errors in the log

PHP ERROR: Undefined variable $range [pid 144952 on line 917 of  
"/var/www/horde/vendor/horde/activesync/lib/Horde/ActiveSync/Imap/Adapter.php"]

PHP ERROR: Undefined array key "op" [pid 144952 on line 915 of  
"/var/www/horde/vendor/horde/activesync/lib/Horde/ActiveSync/Imap/Adapter.php"]

but still seems to produce a good result.

Does this deserve a ticket?  If so, where is the best place for that ticket?

Mike B.