Author: rhuijben Revision: 1489790 Modified property: svn:log Modified: svn:log at Wed Jun 5 10:54:11 2013 ------------------------------------------------------------------------------ --- svn:log (original) +++ svn:log Wed Jun 5 10:54:11 2013 @@ -1,4 +1,4 @@ -Revert r148969, which merged r1488878. +Revert r1489697, which merged r1488878. This patch caused a compilation problem which made me review my original review:
