K 10 svn:author V 6 rstone K 8 svn:date V 27 2017-02-16T21:18:31.285475Z K 7 svn:log V 271 Revert r313814 and r313816 Something evidently got mangled in my git tree in between testing and review, as an old and broken version of the patch was apparently submitted to svn. Revert this while I work out what went wrong. Reported by: tuexen Pointy hat to: rstone END