What changed from r3 to r4, pushed . The branch was rebased, from 4383583 onto d6847cf, so a diff of the tips would mix in everything that landed in between. Instead each commit is paired with its earlier version (git range-diff).
4 commits: 4 unchanged.
4 unchanged commits
unchanged54e5fe1 → 1e513e3Read code search queries with a parser of its own module
unchanged4ff8b62 → f72b3f8Match quoted phrases in every search section
unchanged851ac97 → bd87ef9Count a run of whitespace in a quoted phrase as one space
unchangedbcfdd90 → 9a4fbb2Let whitespace in a quoted phrase match any run of whitespace