K 10 svn:author V 3 0mp K 8 svn:date V 27 2020-03-26T08:37:48.693088Z K 7 svn:log V 156 Update to the latest commit While here: - Use DISTVERSION as suggested by the Porter's Handbook instead of GH_TAGNAME. - Clean up the port a little bit. END