[sr-dev] git:master:bce1db4f: travis-ci: use proper domain for sr-dev mailing list [skip ci]