tree 142b3ca903c9f4cfa5e318f41d785b6bc1dee11f
parent 713abfe15563c79fec12cf5528567149d26a537d
author Andre Weinand <aweinand> 1144774395 +0000
committer Andre Weinand <aweinand> 1144774395 +0000

fixed #136087: Cannot replace with local history due to NoClassDefFoundError +  cosmetics