Author @ivanfioravanti posted on 2026-05-09 that a pull request is open at…

Author @ivanfioravanti posted on 2026-05-09 that a pull request is open at github.com/antirez/ds4/pull/…, pointing to the antirez/ds4 repository. The short announcement supplies only the link and offers no details about the change, PR number, or review status, so reviewers must follow the link for specifics.