Commit bd13470f23744a5bbe44b7b20846e112579abe0d

Ebrahim Byagowi 2020-02-19T13:19:38

[ci] Update Ubuntu bots versions