| Summary: | [planner] Resolution is not stable | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Equinox | Reporter: | Pascal Rapicault <pascal> | ||||||
| Component: | p2 | Assignee: | Daniel Le Berre <leberre> | ||||||
| Status: | RESOLVED FIXED | QA Contact: | |||||||
| Severity: | normal | ||||||||
| Priority: | P3 | CC: | irbull, leberre | ||||||
| Version: | 3.6 | ||||||||
| Target Milestone: | 3.7 RC1 | ||||||||
| Hardware: | PC | ||||||||
| OS: | All | ||||||||
| Whiteboard: | |||||||||
| Bug Depends on: | 323333 | ||||||||
| Bug Blocks: | 363965 | ||||||||
| Attachments: |
|
||||||||
|
Description
Pascal Rapicault
Created attachment 177191 [details]
New patch
This new patch simply removes the if block and cleans up the code. It will need the new version of SAT4J. Daniel, could you please review. I'll release once SAT4J 2.2.1 has been approved.
The new code is fine. Created attachment 194534 [details]
Previous patch updated to be applied on HEAD.
I simply updated the previous patch with the conditional in case of singleton.
I've released the new patch. |