Merged
Commits
Commits on May 10, 2019
- authored
- committed
Travis CI - committed
Travis CI
Commits on May 11, 2019
- authored andcommitted
- committed
Travis CI
Commits on May 14, 2019
- authored andcommitted
- committed
Travis CI - committed
Travis CI - authored andcommitted
- committed
Travis CI
Commits on May 15, 2019
- authored andcommitted

- committed
Travis CI - committed
Travis CI - authored andcommitted
- committed
Travis CI - committed
Travis CI - authored andcommitted
- committed
Travis CI - committed
Travis CI
Commits on May 16, 2019
- authored
- committed
Travis CI - committed
Travis CI
Commits on May 18, 2019
- authored andcommitted
- committed
Travis CI
Commits on May 19, 2019
- authored andcommitted

- committed
Travis CI - authored
- committed
Travis CI - committed
Travis CI