K 10 svn:author V 2 db K 8 svn:date V 27 2021-01-18T23:30:41.601990Z K 7 svn:log V 141 I inadvertantly deleted a line while merging in patches. *sigh* PR: ports/251236 Reported by: Torfinn Ingolfsen END