Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: efa75c871d8c069ac4efb8d32c62fe7c2980e4af https://github.com/phpmyadmin/phpmyadmin/commit/efa75c871d8c069ac4efb8d32c62... Author: Michal Čihař <michal@cihar.com> Date: 2016-05-25 (Wed, 25 May 2016) Changed paths: M doc/conf.py Log Message: ----------- Retry when checking for broken links Signed-off-by: Michal Čihař <michal@cihar.com>