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

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 7d7ab37aad2fdfdc45ed215c07cd338e9099cf1d
      https://github.com/phpmyadmin/phpmyadmin/commit/7d7ab37aad2fdfdc45ed215c07cd338e9099cf1d
  Author: Michal Čihař <michal at 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 at cihar.com>