[phpMyAdmin Developers] Jenkins build is back to normal : documentation #854

9 Sep 2018


      See <https://ci.phpmyadmin.net/job/documentation/854/display/redirect>

Jenkins Daemon