diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-11-19 00:44:23 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-11-19 00:44:23 +0100 |
| commit | 30bd586417693fed39045420548b82e9616f0111 (patch) | |
| tree | 29e540cd0e617f68266dcf61d8532d21c2d01564 /src | |
| parent | 9bada400b36834e92484e416a5b9b41b10cbd5a5 (diff) | |
| download | dotty-30bd586417693fed39045420548b82e9616f0111.tar.gz dotty-30bd586417693fed39045420548b82e9616f0111.tar.bz2 dotty-30bd586417693fed39045420548b82e9616f0111.zip | |
Revert 53cd512
Re-enable context-leak detection by reverting 53cd512.
But leak detection seems to be leaky itself :-)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions