commit | 05368c5919b785a2bb1a06787e3ed6fabbb31177 | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Fri Nov 09 17:14:04 2018 +0100 |
committer | Eike Stepper <stepper@esc-net.de> | Fri Nov 09 17:14:04 2018 +0100 |
tree | f2b58b5bfb4840af884e196cc1e877bc7c9b0d5a | |
parent | f479c76c7146a7bffd4d79d7f3cb84e507d76411 [diff] |
[540552] CDO's thread pool properties should be configurable https://bugs.eclipse.org/bugs/show_bug.cgi?id=540552