Revision 14a2d7417b57ff4b12312e6f03de96e7a7aeff8a

Committed on 18/01/2013 10:47 am by gggeek <[email protected]> [GitHub Diff]

Fix issue 20331: differences in node sort order are neither calculated nor displayed properly

Share your information