workaround bizarre distro vs module confusion
authorEd J <mohawk2@users.noreply.github.com>
Sat, 10 Feb 2018 20:38:16 +0000 (20:38 +0000)
committerDagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Fri, 23 Feb 2018 11:35:32 +0000 (11:35 +0000)
commit758a374bbbce9d5ead95780a8f01968c7673d0bb
treeec00737d50007e6ba2d664c4fef34edac59aa8de
parentb85124517e8703c2ba6defc6f8bff636e0cd9f22
workaround bizarre distro vs module confusion
maint/travis-ci_scripts/common.bash