Marián Labuda <mlabuda> updated the status of jira JBIDE-18454 to Closed
There is no puddle yet include the fix rpm package, so pending verfication until new puddle is built.
Significant difficulty backporting the fix and very low probability of user impact for this release -> WONTFIX
Andre Dietisheim <adietish> updated the status of jira JBIDE-18454 to Reopened
Andre Dietisheim <adietish> updated the status of jira JBIDE-18454 to Resolved
Andre Dietisheim <adietish> updated the status of jira JBIDE-18454 to Closed