| Mon, 05 Oct 2015 18:03:58 +0200 | wenzelm | merged | changeset | files |
| Mon, 05 Oct 2015 18:03:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 05 Oct 2015 14:17:20 +0200 | wenzelm | produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking; | changeset | files |