On Sun, Nov 26, 2023 at 10:28:48PM +0000, David Holland wrote: > Also poppler, without poppler-glib anyway. Now that we've done this, > we should kill off poppler-glib next go as it no longer serves any > purpose. I've updated poppler to 23.12.0 and merged poppler-glib into the base package. Thomas