tree f2b58b5bfb4840af884e196cc1e877bc7c9b0d5a
parent f479c76c7146a7bffd4d79d7f3cb84e507d76411
author Eike Stepper <stepper@esc-net.de> 1541780044 +0100
committer Eike Stepper <stepper@esc-net.de> 1541780044 +0100

[540552] CDO's thread pool properties should be configurable

https://bugs.eclipse.org/bugs/show_bug.cgi?id=540552