| Sat, 23 Nov 2019 11:36:42 +0100 | wenzelm | clarified error: tmp file can be invalid in odd situations; | file | diff | annotate |
| Wed, 02 Oct 2019 14:45:37 +0200 | wenzelm | more robust: avoid update/interrupt of long-running print_consolidation; | file | diff | annotate |
| Fri, 06 Sep 2019 19:44:54 +0200 | wenzelm | prefer commands_accepted: fewer protocol messages; | file | diff | annotate |