next up previous contents
Next: How to find out Up: Introduction Previous: Introduction

New in v12.12

New features

Bug fixes

All bug fixes to v12.11 and v12.11.1 released as patches are included in v12.12. In addition, the following bugs have been fixed.


next up previous contents
Next: How to find out Up: Introduction Previous: Introduction