Changes
/* Bugfixes */
* A forced update on changed documents will now throw away the changes and update successfully.
* Edited documents now do appear in the commit manager until they get committed.
* Empty list indicators now display less confusing texts during and after Synchronizationsynchronization.
=== Known Issues ===
