| Summary: | dev-python/patch: removal | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
| Component: | Current packages | Assignee: | Python Gentoo Team <python> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | treecleaner |
| Priority: | Normal | Keywords: | PMASKED |
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Deadline: | 2020-05-25 | ||
|
Description
Michał Górny
2020-04-25 08:17:07 UTC
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3711ea3bc7c36559a3958f141ef3041c3a6fcef commit c3711ea3bc7c36559a3958f141ef3041c3a6fcef Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2020-04-25 08:17:17 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2020-04-25 08:48:20 +0000 package.mask: Last rite dev-python/patch Bug: https://bugs.gentoo.org/719352 Signed-off-by: Michał Górny <mgorny@gentoo.org> profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80328fd52040bddbf03ed00e152b4ae768fa4074 commit 80328fd52040bddbf03ed00e152b4ae768fa4074 Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2020-05-31 10:05:53 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2020-05-31 10:07:07 +0000 dev-python/patch: Remove last-rited pkg Closes: https://bugs.gentoo.org/719352 Signed-off-by: Michał Górny <mgorny@gentoo.org> dev-python/patch/Manifest | 1 - dev-python/patch/metadata.xml | 12 ------------ dev-python/patch/patch-1.16.ebuild | 22 ---------------------- profiles/package.mask | 5 ----- 4 files changed, 40 deletions(-) |