Skip to content

[Travis] Set dist to trusty#109

Merged
andrerom merged 1 commit intoezsystems:1.7from mnocon:specify-travis-distAug 9, 2019

Commits

Commits on Aug 8, 2019