PR #1845 Use the real identity server version in the APIs table

Use the real identity server version in the APIs table #1845

turt2live merged 1 commit into master from travis/fix-IS-generation

Use the real identity server version in the APIs table

6067a4ad

turt2live requested a review 7 years ago

richvdh approved these changes on 2019-02-06

turt2live merged 80e6f7cb into master 7 years ago

turt2live deleted the travis/fix-IS-generation branch 7 years ago

Reviewers

richvdh

Assignees

No one assigned

Labels

None yet

Milestone

No milestone