commit | 253edab67bb3efacc2794b77c44d0c749d1caeee | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Tue Jun 11 12:54:29 2013 +0200 |
committer | Eike Stepper <stepper@esc-net.de> | Tue Jun 11 12:54:29 2013 +0200 |
tree | 140461945a7177f9d55915232aaf7de3777875c0 | |
parent | 50a804b7fe45dbed1d7b7ead2e33597631c731bb [diff] |
[410446] FailOverMonitor might not deactivate properly https://bugs.eclipse.org/bugs/show_bug.cgi?id=410446