Summary: | media-fonts/dejavu: EAPI 7 request | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | David Michael <fedora.dm0> |
Component: | Current packages | Assignee: | Gentoo Fonts Team <fonts> |
Status: | RESOLVED FIXED | ||
Severity: | normal | Keywords: | PATCH, PullRequest |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
See Also: | https://github.com/gentoo/gentoo/pull/20045 | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | 776412 | ||
Bug Blocks: | 770247 | ||
Attachments: | fix.patch |
Description
David Michael
2021-03-15 18:24:20 UTC
Created attachment 691626 [details, diff]
fix.patch
Apparently fixed by https://github.com/gentoo/gentoo/commit/875dcfa03952eca52d37abcebb259b40221c8faa . |