Closed fscheiner closed 1 year ago
CI looks good. The failure in Travis CI is due to the out of date Ubuntu version used by default (and updated with #199).
CI looks good. The failure in Travis CI is due to the out of date Ubuntu version used by default (and updated with #199).