| Mon, 03 Sep 2018 19:44:10 +0200 | wenzelm | more informative node_status; | file | diff | annotate |
| Mon, 03 Sep 2018 18:52:28 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 03 Sep 2018 15:04:04 +0200 | wenzelm | proper polarity of terminated status; | file | diff | annotate |