Merge "Add class for service discovery using DNS SRV records"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Apr 2017 22:26:39 +0000 (22:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Apr 2017 22:26:39 +0000 (22:26 +0000)
commiteca93b7c40944f1ac44d42f8ffa4afccc2ca235a
tree6d69f9e52480adf782698c8452c60e4337d2b4ec
parent735b8a7e926ccbbbb1e227081b635aa8efef82e8
parentc1867947225e709ed1a5d40a55b65b47a32cd553
Merge "Add class for service discovery using DNS SRV records"
autoload.php