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