Merge pull request #10 from riscv/travis-dev