17:45:59 <KwBot> [nikola] JesperDramsch opened issue #3617: Pygments render fail on 8.2.1 https://github.com/getnikola/nikola/issues/3617 17:47:57 <KwBot> [nikola] sfan5 opened issue #3618: Incompatibility with newer pygments version or similar(?) https://github.com/getnikola/nikola/issues/3618 18:07:02 <KwBot> [nikola] Kwpolska opened pull request #3619 (getnikola:fix-pygments-2.12.0): Fix #3617, fix #3618 — compatibility with Pygments 2.12.0 https://github.com/getnikola/nikola/pull/3619 19:32:18 <KwBot> [nikola] Kwpolska closed pull request #3619 (getnikola:fix-pygments-2.12.0): Fix #3617, fix #3618 — compatibility with Pygments 2.12.0 https://github.com/getnikola/nikola/pull/3619 19:32:19 <KwBot> [nikola] Kwpolska closed issue #3617: Cannot build site with Pygments 2.12.0 https://github.com/getnikola/nikola/issues/3617 19:32:20 <KwBot> [nikola] Kwpolska closed issue #3618: Incompatibility with newer pygments version or similar(?) https://github.com/getnikola/nikola/issues/3618