chiark / gitweb /
terminal: restructure some logging calls in grdrm