mangos v3.1.3 Release Notes

Release Date: 2020-10-09 // over 1 year ago

Previous changes from v3.1.2

  • 🔖 Version 3.1.1 introduced a serious compilation bug, this fixes it.