Skip to content

Revert change of Ubuntu 18.04 to 16.04#1245

Merged
bors[bot] merged 1 commit intomasterfrom fix/maybe-16.04Feb 24, 2020

Commits

Commits on Feb 24, 2020