changed title from Master server address is greyed out in Server Options to Master server address is greyed out in Server Options, when accessed while server running
added Enhancement label
mentioned in merge request !1687 (merged)
closed with merge request !1687 (merged)