Merge remote-tracking branch 'origin/release/19.12'

Authored by dfaure on Dec 4 2019, 12:03 AM.

Description

Merge remote-tracking branch 'origin/release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
8f2f329d8b24dfaure
Tobias Anton replied yes/yes/yes/yes/no, record that in the script. 
Dec 4 2019
d3f98c07dc24dfaure
Eike Hein said yes to all 5 questions, thanks! 
Dec 3 2019
73c25112f7d2dfaure
Got 5 yes from Lukas Tinkl, thanks! 
Dec 2 2019
1a4bd5778681dfaure
Got 5 "yes" from yurchor, thanks! 
Dec 2 2019
1799e3bed5e3dfaure
Add more email aliases 
Dec 2 2019