[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7d7ab3: Avoid duplicate labels

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 7d7ab37aad2fdfdc45ed215c07cd338e9099cf1d https://github.com/phpmyadmin/phpmyadmin/commit/7d7ab37aad2fdfdc45ed215c07cd... Author: Michal Čihař <michal@cihar.com> Date: 2016-12-06 (Tue, 06 Dec 2016) Changed paths: M doc/setup.rst Log Message: ----------- Avoid duplicate labels Signed-off-by: Michal Čihař <michal@cihar.com>