]
Andre Dietisheim commented on JBIDE-12142:
------------------------------------------
fixed IUser#refresh in commit a2a703662826e4fe2ffee11ca163ced01974bae8
(
User is not refreshed when deleting the domain
----------------------------------------------
Key: JBIDE-12142
URL:
https://issues.jboss.org/browse/JBIDE-12142
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: openshift
Affects Versions: 3.3.0.CR1
Reporter: Andre Dietisheim
Assignee: Xavier Coulon
Fix For: 3.3.2, 3.4.0.M1
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: