Skip to content

Add in artful and bionic to the short os names.#493

Merged
dirk-thomas merged 3 commits intomasterfrom bionicJan 3, 2018

Commits

Commits on Jan 2, 2018

Commits on Jan 3, 2018