@yeban yeban released this Nov 11, 2015 · 631 commits to master since this release

Assets 2
  • Show version number in the top header bar (thanks to Dr. Wolfgang Rumpf for the suggestion).