08:09 <beerman> r0ni: something else, I updated the gruvbox themes and they should have all the missing definitions now ;)

13:43 <farkuhar> The last giflib update https://git.crux.nu/ports/opt/commit/e36e6b855a32eb243da8aaeb77dc4bd6388dae94 seems to have exchanged one problem for another. Now at least we have proper roff (rather than XML) under /usr/share/man/man1, but the files are only readable for the root user (and group), not for normal users.