URL:
https://github.com/freeipa/freeipa/pull/784
Title: #784: ipa-replica-manage del (dl 0): remove server from defaultServerList
flo-renaud commented:
"""
Hi @martbab
Thank you for the review. I updated the PR with your comments.
"""
See the full comment at
https://github.com/freeipa/freeipa/pull/784#issuecomment-302647528