Resource label is not refreshed in compare panel (bug 493253)
https://bugs.eclipse.org/bugs/show_bug.cgi?id=493253

git-svn-id: https://dev.eclipse.org/svnroot/technology/org.eclipse.subversive/trunk@21584 ee007c2a-0a25-0410-9ab9-bf268980928c
1 file changed