Changes (as compared to 7.12) include:
* Fixed a rare crash in Schema Sync. This issue was discovered when testing internally. No user had reported this.
* Management of column-level privileges was not functional.
* It was only possible to select a single group of objects in GRIDS with the shift+click modifier.
* Autocomplete now uses secure atomic transactions when writing to SQLite databases (’Tags files’). We had a few reports of random program crashes that could be traced down to corrupt SQLite databases. This corruption will now not happen any more.