Undian babak penyisihan grup Liga Champions musim 2019/2020 baru saja selesai