This is failing because the texy.info certificate through Let's Encrypt has
expired as of a few hours ago. I wasn't easily able to find contact
information for them, so let's give it a day or to and see if they figure
it out on their own.
On Fri, Mar 9, 2018 at 10:00 PM, Jenkins Daemon <jenkins(a)phpmyadmin.net>
wrote: