Skip to content
This repository was archived by the owner on Nov 25, 2021. It is now read-only.

v3.1.2

Choose a tag to compare

@sourcegraph-bot sourcegraph-bot released this 20 Jul 02:50
· 355 commits to master since this release

3.1.2 (2018-07-20)

Bug Fixes

  • export public interfaces (973af71)
  • highlight: account for +/- indicator on diff pages (99e53e9)