Apparently something has changed that breaks the build:
https://travis-ci.org/urweb/urweb/jobs/626185397?utm_medium=notification&utm_source=github_status Can any Mac experts suggest the right fix? Thanks! _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
