PR #2310 Deprecate id_server and make it optional

Deprecate id_server and make it optional #2310

turt2live merged 2 commits into master from travis/spec/2263-deprecate-id-server

Deprecate id_server and make it optional

48b8a95d

Changelog

2e84465c

turt2live requested a review 6 years ago

dbkr approved these changes on 2019-10-04

turt2live merged 3d60e04c into master 6 years ago

turt2live deleted the travis/spec/2263-deprecate-id-server branch 6 years ago

Reviewers

dbkr

Assignees

No one assigned

Labels

None yet

Milestone

No milestone