mangos v3.1.3 Release Notes

Release Date: 2020-10-09 // 11 days ago

Previous changes from v3.1.2

  • ๐Ÿ”– Version 3.1.1 introduced a serious compilation bug, this fixes it.