Merge release from September 6th 2019#7274

Merged

DavidKutu merged 7 commits intomasterfrom

davidkutu/merge_release

Sep 9, 2019

Commits on Aug 30, 2019

Commits on Sep 3, 2019

Release changes (#7183)
kimadeline
authored

Commits on Sep 5, 2019

check the position of the scroll in the interactive (#7198) (#7236)
David Kutugata
authored

Commits on Sep 6, 2019

Turned the check of the scroll at the bottom from … (#7259)
David Kutugata
authored
Preparation for point release (#7268)
David Kutugata
authored
Merged release back to master.
David Kutugata
committed