bug #6359
Updated by Andreas Müller almost 3 years ago
Open issue(s):
* fill UpdateResult correctly
* add progress monitor
* handle large subtrees in partitions
* handle MAN and PPSyns (#9601)
* handle errors
Updated by Andreas Müller almost 3 years ago
Open issue(s):
* fill UpdateResult correctly
* add progress monitor
* handle large subtrees in partitions
* handle MAN and PPSyns (#9601)
* handle errors