commit | ce0922f8c77ea376bb85111a26353c29bd315218 | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Sat Nov 10 19:15:40 2018 +0100 |
committer | Eike Stepper <stepper@esc-net.de> | Sat Nov 10 19:15:40 2018 +0100 |
tree | 45685f6270b84b5103befae074907bba2bb47622 | |
parent | 6657dd11669b4ffe0b5c0b5436fe99d4cdccfd04 [diff] |
[540552] CDO's thread pool properties should be configurable https://bugs.eclipse.org/bugs/show_bug.cgi?id=540552