Update live with current master#3799

Merged

mairaw merged 5 commits intolivefrom

Jan 23, 2020

Commits on Jan 22, 2020

Fix GZipStream.Flush summary and remarks (#3789)

carlossanlop
authored and
BillWagner
committed

Commits on Jan 23, 2020