« Changelog History


OpenJML v0.8.35 Release Notes

Release Date: 2018-06-14 // almost 6 years ago

  • 🏗 Correcting an invalid build (0.8.33 and 0.8.34)
    🛠 0.8.33 had these fixes:
    🛠 General bug fixes, including
    #613
    #612
    #611
    #607