5.1.2 Release - #77

Merged

nblumhardt merged 7 commits into

Dec 9, 2019

Commits on Sep 13, 2019

Dev version bump [skip ci]
nblumhardt
authored

Commits on Dec 4, 2019

Deprecate well-known role ids and introduce SeqConnection.Roles
nblumhardt
committed
Merge pull request #75 from nblumhardt/roles-resource-group
KodrAus
authored

Commits on Dec 5, 2019

Commits on Dec 6, 2019

Documentation warnings-as-errors; all done
nblumhardt
committed

Commits on Dec 9, 2019

Merge pull request #76 from nblumhardt/resources-docs
KodrAus
authored