Summary: | Merge dev-php5 and dev-php | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Ole Markus With (RETIRED) <olemarkus> |
Component: | Current packages | Assignee: | PHP Bugs <php-bugs> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Ole Markus With (RETIRED)
2010-06-19 09:24:28 UTC
As said on IRC, I agree with your reasoning. As this is will require quite some reshuffling (pkg-moving), I'll get to it after I've handled the php-5.3 fallout. Thanks. Sorry if it was inappropriate to file a bug about this, but I thought it would be useful to have this as a task somewhere public. I thought about writing this on the overlay wiki, but the wiki does not seem to be much in use. 5.3 fallout handled. We got slotting on our plate, so if it doesn't help with it, it's probably better to defer it until after that. But I'm sure I will get to it after slotting is out. Merge has been done. If you have any issues with this (read: if I screwed up and there's still some mention of dev-php5 in the tree), please comment and/or reopen the bug. Thanks for the patience. |