Members changes

In the 2020-08-12 release release.

No changes.