Skip to content

Fix OS fact comparison for Ubuntu 12 and 14#375

Merged
alexjfisher merged 1 commit intovoxpupuli:masterfrom dbeckham:fix_os_version_comparisonAug 11, 2017

Commits

Commits on Aug 10, 2017