Author: julianfoad
Revision: 1854883
Modified property: svn:log
Modified: svn:log at Tue Jun 25 09:26:36 2019
------------------------------------------------------------------------------
--- svn:log (original)
+++ svn:log Tue Jun 25 09:26:36 2019
@@ -10,3 +10,5 @@ Merge the r1851676 group from trunk:
- r1851791 refers to issue #4802.
Votes:
+1: brane, julianfoad, stsp
+
+Issue #4802.