Summary: | dev-tex/rubber-1.5.1 version bump | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Florian Schmaus <flow> |
Component: | Current packages | Assignee: | TeX project <tex> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | endymion+gentoo, jstein |
Priority: | Normal | Keywords: | PullRequest |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
See Also: | https://github.com/gentoo/gentoo/pull/13318 | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Florian Schmaus
2018-11-11 17:11:44 UTC
dev-tex/rubber-1.5.1 is in tree now due eb7f4fcd1e7 ("dev-tex/rubber: Version bump to 1.5.1."). Note that the commit does not mention this bug and hence got not auto linked. |