Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
base: 1b80a84a4c6e
Choose a base ref
...
head repository: mirage/mirage
compare: 2989f13a71cb
Choose a head ref
  • 2 commits
  • 3 files changed
  • 2 contributors

Commits on Dec 20, 2018

  1. Use String.split_on_char instead of Astring in mirage-runtime

    @hannesm
    hannesm committed Dec 20, 2018
    Configuration menu
    Copy the full SHA
    b84dbcd View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2018

  1. Merge pull request #957 from hannesm/no-astring 

    Use String.split_on_char instead of Astring in mirage-runtime
    @avsm
    avsm committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    2989f13 View commit details
    Browse the repository at this point in the history