Solved phpMyAdmin has a new version
-
Was released this month.
-
@robi thanks, updated.
We have to fix releasebell to monitor web pages for releases.
-
Turn out I wasn't subscribed to https://github.com/phpmyadmin/phpmyadmin . I am now.