[freeipa PR#780][synchronized] server-del: update defaultServerList in cn=default, ou=profile, $BASE

[flo-renaud]

   URL: https://github.com/freeipa/freeipa/pull/780
Author: flo-renaud
 Title: #780: server-del: update defaultServerList in cn=default,ou=profile,$BASE
Action: synchronized

To pull the PR as Git branch:
git remote add ghfreeipa https://github.com/freeipa/freeipa
git fetch ghfreeipa pull/780/head:pr780
git checkout pr780