| Wed, 18 Dec 2019 15:10:50 +0100 | wenzelm | more repository information; | file | diff | annotate |
| Tue, 17 Dec 2019 22:22:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 17 Dec 2019 22:18:37 +0100 | wenzelm | clarified signature: error_code may contain low-level message instead of proper "ERR-" code; | file | diff | annotate |