[sr-dev] git:4.3:5859e438: travis-ci: use proper domain for sr-dev mailing list [skip ci]