Hi, Thanks a lot for reporting, I should have seen that.
> It seems adminer is dead upstream and adminerevo picked up development, > so most likely Debian should follow the new upstream? I have not been able to find[1] a sponsor for adminerevo although the packaging as a separate source package is done. I can easily switch src:adminer to use adminerevo source as I have DM upload rights for adminer, but that is not what I have been instructed to do. Regarding the present bug report, I'll backport the fixes in the coming days. [1] https://bugs.debian.org/1065534 Thanks, Alex
