Bug in _Inbox: Not Spam
• You are subscribed to this case
I see that a pull request was created for the Github project but I don't understand how that change actually gets into the image. According to https://github.com/pharo-project/pharo, the Github project is a "mirror" of the Pharo packages and is updated FROM the Inria infrastructure. Thus, it is my impression that Pavel's pull request will be ignored.
Sven made a comment that he "patched upstream as well." Does this imply a different procedure?
I see a process at http://pharo.org/contribute-propose-fix that suggests proposed fixes should go to the Pharo 5 Inbox. I also see a Pharo 6 Inbox. I don't see any evidence of a fix for this issue from Sven in either place. Where is the "upstream" patch? When will work start on Pharo 7?
Status changed:
Resolved (Fix Review Needed)
Work Needed