[sr-dev] git:4.2:98c3647a: travis-ci: use proper domain for sr-dev mailing list [skip ci]