Hi,

this PR upgrades the CI images to Ubuntu Bionic 20200112.

Cheers, Christoph

Comment From: dreis2211

I wonder why this didn't trigger a CI build.

Comment From: snicoll

That was quick :-)

Because the commit only touched the images directory and that lead to the images to be rebuilt first. They are as we speak.

Comment From: dreis2211

Thanks for taking care on a Sunday. Enjoy your weekend, @snicoll