Author: jcorvel Revision: 1764570 Modified property: svn:log Modified: svn:log at Thu Oct 13 09:09:25 2016 ------------------------------------------------------------------------------ --- svn:log (original) +++ svn:log Thu Oct 13 09:09:25 2016 @@ -1,3 +1,4 @@ +[Note from the future: reverted in r1764633, to fix backport mixup] Merge r1764034 from trunk: * r1764034
