[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1.
From: |
Ricardo Wurmus |
Subject: |
[bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1. |
Date: |
Tue, 18 Jul 2023 10:05:25 +0200 |
User-agent: |
mu4e 1.10.3; emacs 28.2 |
Lars-Dominik Braun <lars@6xq.net> writes:
>> Either that or piggy-backing on the tex-team branch that’s about ready
>> to be built these days.
>
> tex-team will probably be faster. python-team is not ready yet,
> unfortunately :(
After discussing with ngz, we think it’s better to keep this out of
tex-team, because there’s a chance of unforeseen breakage. May I push
this to the python-team branch?
--
Ricardo
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Ricardo Wurmus, 2023/07/06
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Lars-Dominik Braun, 2023/07/09
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Ricardo Wurmus, 2023/07/09
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Lars-Dominik Braun, 2023/07/10
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1.,
Ricardo Wurmus <=
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Lars-Dominik Braun, 2023/07/18
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Ricardo Wurmus, 2023/07/18
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., jgart, 2023/07/19
- [bug#64503] [PATCH] gnu: python-pygments: Update to 2.15.1., Ricardo Wurmus, 2023/07/20