Summary: | new git repo request: proj/texlive-core-patches | ||
---|---|---|---|
Product: | Gentoo Infrastructure | Reporter: | Florian Schmaus <flow> |
Component: | Git | Assignee: | Gentoo Infrastructure <infra-bugs> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | tex |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
See Also: |
https://bugs.gentoo.org/show_bug.cgi?id=921509 https://bugs.gentoo.org/show_bug.cgi?id=916998 |
||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Florian Schmaus
2024-01-06 17:44:12 UTC
Flow: how does proj/texlive-core-patches.git differ from proj/tex-patches.git? I think tex-patches predates my involvement with tex in gentoo. As it appears unused I hoped that we could use texlive-core-patches.git instead, since it would be the precise name. Nevertheless, if you feel that we should re-use it, then that's fine too. I just need push access. As per IRC, we will use the existing tex-patches.git instead. |