Releases around OpenJML/OpenJML 0.8.13 on GitHub

Maybe you can find something interesting in this list
github
mishoo/UglifyJS on GitHub harmony-v3.0.1
npm
bull on Node.js NPM 3.0.0-alpha.4
github
chromium/chromium on GitHub 59.0.3071.46 59.0.3071.45
github
terser/terser on GitHub harmony-v3.0.1
github
microsoft/git on GitHub v2.12.2.gvfs.2-preview-3
github
openedx/edx-platform on GitHub release-2017-05-09-10.12
github
pantsbuild/pants on GitHub release_1.3.0rc0
github
jitsi/jitsi-videobridge on GitHub jitsi-meet_2059 946

Don't miss a new release

NewReleases is sending notifications on new releases.