Diff magic-8.3.232-r1 with a magic-8.3.309-r2

Thank you!