Could anyone explain please how I can verify in which build a certain issue is fixed?
I am asking because both http://www.jetbrains.net/jira/browse/IDEA-9336 and http://www.jetbrains.net/jira/browse/IDEADEV-10017 are marked as resolved/fixed but occur still in latest build #5745.
IDEADEV-10017 is flagged as "fixed in build 5742" but is not contained in the latest release notes. For IDEA-9336 I did not find a corresponding issue in IDEADEV.
Thanks a lot,