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