| Tue, 30 Jul 2013 21:22:37 +0200 | wenzelm | less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace; | file | diff | annotate |
| Wed, 10 Jul 2013 23:25:28 +0200 | wenzelm | more abstract message channel; | file | diff | annotate |