commit | 420192fdb9ef98e9906fed57916e1f1da769cf5b | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Tue Mar 27 08:14:09 2018 +0200 |
committer | Eike Stepper <stepper@esc-net.de> | Tue Mar 27 08:14:09 2018 +0200 |
tree | ec93a37180267e2cad1fc057561fc78ef6ebde16 | |
parent | 83ec3d372871d39d9dde9716d5484927ce8b57e1 [diff] |
[532600] Memory not freed when repository is deleted https://bugs.eclipse.org/bugs/show_bug.cgi?id=532600