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: b3742dba489f
Choose a base ref
...
head repository: mirage/mirage
compare: 39872b3bf8ce
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Nov 16, 2016

  1. no need to call String.length before String.is_prefix since we're usi… 

    …ng Astring
    @hannesm
    hannesm committed Nov 16, 2016
    Copy the full SHA
    fc5037d View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2016

  1. Merge pull request #683 from hannesm/fix 

    no need to call String.length before String.is_prefix since we're using Astring
    @hannesm
    hannesm committed Nov 17, 2016
    Copy the full SHA
    39872b3 View commit details
    Browse the repository at this point in the history