| commit | ff95e826e93c14f2cadf3dfffae0b6395134750a | [log] [tgz] |
|---|---|---|
| author | Eike Stepper <stepper@esc-net.de> | Thu Nov 12 09:13:48 2020 +0100 |
| committer | Eike Stepper <stepper@esc-net.de> | Thu Nov 12 09:13:48 2020 +0100 |
| tree | f95948ad34dd9b2680824743f4448b8871a59a22 | |
| parent | 9f92b9bd6e2485b6ed20657ddb429a1390525bfd [diff] |
[568642] User removal only possible by workaround https://bugs.eclipse.org/bugs/show_bug.cgi?id=568642