9 new features/ features improvements and 4 bug fixes. See the history
Fix: An error in ai_external.js was fixed, which prevented the external workaround to work.
New 7.5.2: 16 new features/ features improvements and 2 bug fixes. See the history
